Skip to content

@resource-reasoning Local Resource Reasoning

Change the repository type filter

All

    Repositories list

    17 repositories

    • JS_Parser

      Public
      Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain
      OCaml
      •4•3•0•0•Updated Nov 25, 2020Nov 25, 2020

    • DS

      Public
      TeX
      •0•0•0•0•Updated Oct 29, 2020Oct 29, 2020

    • dockerfiles

      Public
      Docker images used for various testing purposes
      Dockerfile
      •0•0•0•0•Updated Oct 3, 2018Oct 3, 2018

    • iris-coq

      Public
      The Coq development for Iris (mirrored)
      Coq
      •
      Other
      •2•0•0•0•Updated Sep 4, 2018Sep 4, 2018

    • jscert

      Public
      0•0•0•0•Updated Jun 13, 2018Jun 13, 2018

    • runtests

      Public
      distributed test262 test runner
      Shell
      •0•0•0•0•Updated May 9, 2018May 9, 2018

    • infer

      Public
      No-change clone of Facebook's infer, for autobuild purposes
      OCaml
      •
      Other
      •2.1k•1•0•0•Updated Sep 28, 2017Sep 28, 2017

    • EvalReasoning

      Public
      0•0•0•0•Updated Apr 10, 2017Apr 10, 2017

    • jscert_dev

      Public archive
      This repository is now abandoned in favour of using
      Coq
      •
      Other
      •0•0•19•1•Updated Dec 16, 2016Dec 16, 2016

    • testing-website

      Public
      Python web interface to jscert test results database
      Python
      •0•0•17•0•Updated Nov 15, 2016Nov 15, 2016

    • esprima

      Public
      ECMAScript parsing infrastructure for multipurpose analysis
      JavaScript
      •
      BSD 2-Clause "Simplified" License
      •774•0•0•0•Updated Jul 1, 2016Jul 1, 2016

    • closure-compiler

      Public
      Modified dependency of JS_Parser
      Java
      •
      Apache License 2.0
      •1.2k•0•0•0•Updated Dec 6, 2015Dec 6, 2015

    • CoLoSL

      Public
      TeX
      •0•1•0•1•Updated Jun 1, 2015Jun 1, 2015

    • resource-reasoning.github.io

      Public
      Just a holding page
      CSS
      •0•0•0•0•Updated Dec 19, 2014Dec 19, 2014

    • coq

      Public
      Coq
      •1•0•0•0•Updated Sep 13, 2013Sep 13, 2013

    • Permissions

      Public
      A first-order theory of permissions
      Coq
      •1•0•0•0•Updated Sep 13, 2013Sep 13, 2013

    • QuICDoc

      Public
      A collaborative concurrent distributed text editor in your web browser.
      JavaScript
      •2•2•0•1•Updated Jan 18, 2012Jan 18, 2012
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.