jeanqasaur / jeevesLinks
Python implementation of the Jeeves programming language.
☆336Updated 7 years ago
Alternatives and similar repositories for jeeves
Users that are interested in jeeves are comparing it to the libraries listed below
Sorting:
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 4 years ago
- The SAW scripting language.☆477Updated this week
- A modern syntax for the λ-calculus.☆413Updated 9 years ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated 3 months ago
- 🐣 A blog engine written and proven in Coq☆182Updated 5 years ago
- The K tools (deprecated, see README)☆147Updated 7 years ago
- A new pure functional language built on the top of Python☆279Updated 4 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- ☆343Updated 7 years ago
- A probabilistic programming language☆321Updated 3 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- The Wyvern programming language.☆561Updated this week
- Women in Programming Languages and Software Engineering Research☆173Updated 9 months ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆437Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆99Updated 10 months ago
- Life like molecular computers with artificial chemistry.☆137Updated 2 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆454Updated 6 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 7 months ago
- Types for Python☆87Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- IPython notebook-compatible live coding experiment☆208Updated 5 years ago
- Collection of various research papers I find interesting☆84Updated 9 years ago
- Haskell-powered Python 3 interpreter☆579Updated 8 years ago
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- A bytecode compiler for Python 3☆157Updated 5 years ago