Alternatives and similar repositories for jeeves

Users that are interested in jeeves are comparing it to the libraries listed below

• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated 2 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆414Updated 9 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago
• csvoss / retroactive
  Fun with time travel: Implementing retroactive data structures in Python
  ☆227Updated 4 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆279Updated 4 years ago
• wyvernlang / wyvern
  The Wyvern programming language.
  ☆560Updated 2 weeks ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆274Updated 8 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆618Updated 2 weeks ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆183Updated 6 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆53Updated 2 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated last month
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 8 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆376Updated 9 years ago
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 10 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 11 months ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• strangeloop / StrangeLoop2014
  Strange Loop 2014 archives
  ☆188Updated 11 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• ocharles / papers
  A Git annex repository of papers
  ☆713Updated 7 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 9 years ago
• GaloisInc / saw-script
  The Software Analysis Workbench
  ☆488Updated this week
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆324Updated 9 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• evnm / research-in-production
  A collection of research papers categorized by real-world systems that enact them
  ☆214Updated 7 years ago