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
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated last week
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 4 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 2 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆304Updated 2 weeks ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆92Updated 5 months ago
• kth-step / HolBA
  Binary analysis in HOL
  ☆43Updated this week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month
• dcao / babble
  library learning w egraphs
  ☆21Updated 2 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆50Updated 8 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated this week
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 11 months ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• clarus / falso
  A proof of false in Coq.
  ☆100Updated 6 years ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 9 months ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated 4 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 4 months ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆175Updated last week
• philzook58 / nand2coq
  Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
  ☆58Updated 3 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆168Updated last year