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
  ☆114Updated 6 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆65Updated 2 weeks ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆302Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆153Updated 3 weeks ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆161Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• xiw / arithcc
  ☆14Updated 4 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆218Updated 2 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆127Updated 2 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated 4 months ago
• BillHallahan / G2
  ☆37Updated this week
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 weeks ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 4 months ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆139Updated 7 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated this week
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆146Updated 5 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated this week
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated last month
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago