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
      •2k•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
      •787•0•0•0•Updated Jul 1, 2016Jul 1, 2016

    • closure-compiler

      Public
      Modified dependency of JS_Parser
      Java
      •
      Apache License 2.0
      •1.1k•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