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 Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 4 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
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- A probabilistic programming language☆322Updated 3 years ago
- A framework for formally verifying distributed systems implementations in Coq☆607Updated 2 months ago
- A modern syntax for the λ-calculus.☆413Updated 9 years ago
- The K tools (deprecated, see README)☆147Updated 7 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated 9 months ago
- A new pure functional language built on the top of Python☆279Updated 4 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- 🐣 A blog engine written and proven in Coq☆181Updated 5 years ago
- The Wyvern programming language.☆561Updated last month
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- A Git annex repository of papers☆707Updated 6 years ago
- Haskell-powered Python 3 interpreter☆579Updated 8 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆282Updated 3 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆252Updated 2 years ago
- ☆343Updated 7 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- A bytecode compiler for Python 3☆157Updated 5 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆452Updated 6 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 6 months ago
- A formalization of category theory in the Coq proof assistant.☆99Updated 9 months ago