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
  ☆199Updated last year
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• csvoss / retroactive
  Fun with time travel: Implementing retroactive data structures in Python
  ☆225Updated 3 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 5 months ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆601Updated 10 months ago
• hopper-lang / hopper-v0
  a sound modern language for computation and transactional resource logic
  ☆101Updated 8 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 4 months ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆238Updated 4 years ago
• wyvernlang / wyvern
  The Wyvern programming language.
  ☆559Updated last month
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 7 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆278Updated 2 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• damelang / nile
  ☆717Updated 4 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆268Updated 5 months ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆243Updated 3 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆251Updated last year
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 7 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated last month