jeanqasaur / jeevesLinks
Python implementation of the Jeeves programming language.
☆337Updated 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☆203Updated last year
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 4 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- 🐣 A blog engine written and proven in Coq☆182Updated 5 years ago
- A modern syntax for the λ-calculus.☆411Updated 9 years ago
- A probabilistic programming language☆322Updated 3 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 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 Haskell implementation of the Tor protocol.☆273Updated 8 years ago
- The Wyvern programming language.☆561Updated last month
- A framework for formally verifying distributed systems implementations in Coq☆610Updated 4 months ago
- The K tools (deprecated, see README)☆147Updated 7 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆439Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated last year
- Women in Programming Languages and Software Engineering Research☆173Updated 11 months ago
- World's dumbest fuzzer☆52Updated last year
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- The SAW scripting language.☆482Updated this week
- A Git annex repository of papers☆713Updated 6 years ago
- A cryptography book for kids☆267Updated 7 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆283Updated 3 years ago
- notes on where to find Haskell tutorials and tips to complete them☆120Updated 7 years ago
- IPython notebook-compatible live coding experiment☆209Updated 5 years ago
- The Hindley Milner Type Inference Algorithm☆374Updated 8 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆257Updated 2 years ago
- ☆343Updated 7 years ago
- Haskell-powered Python 3 interpreter☆580Updated 8 years ago