Alternatives and similar repositories for freiscale

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

• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆98Updated 10 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated this week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 3 weeks ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆44Updated 4 years ago
• dcao / babble
  library learning w egraphs
  ☆25Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆36Updated 6 months ago
• clarus / falso
  A proof of false in Coq.
  ☆101Updated 6 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆55Updated 11 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 10 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆77Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆67Updated this week
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆283Updated 12 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 5 months ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 3 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated 2 weeks ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• wetneb / sheetshow
  A renderer for sheet diagrams in bimonoidal categories
  ☆13Updated 4 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆101Updated 2 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago