Alternatives and similar repositories for jeeves

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

• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• csvoss / retroactive
  Fun with time travel: Implementing retroactive data structures in Python
  ☆225Updated 3 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• microsoft / ivy
  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
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆321Updated 3 years ago
• wyvernlang / wyvern
  The Wyvern programming language.
  ☆560Updated 3 weeks ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 9 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆607Updated 3 weeks ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆251Updated 2 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆89Updated 8 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆280Updated 4 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆474Updated this week
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• ocharles / papers
  A Git annex repository of papers
  ☆703Updated 6 years ago
• BayesianLogic / blog
  The BLOG programming language
  ☆98Updated 2 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆246Updated 4 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 4 months ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 7 months ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆435Updated 2 years ago
• jeanqasaur / research-group-resources
  Resources for people running research groups.
  ☆206Updated 8 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆97Updated 8 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆451Updated 6 years ago