Alternatives and similar repositories for freiscale:

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

• cceckman / popular-block-storage
  Use Minecraft chests for Linux block storage. Submitted to SIGBOVIK 2020.
  ☆13Updated 4 years ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆32Updated 7 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 weeks ago
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 7 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• clarus / falso
  A proof of false in Coq.
  ☆93Updated 5 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• xiw / arithcc
  ☆14Updated 4 years ago
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆141Updated last month
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated this week
• BillHallahan / G2
  ☆36Updated last week
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated last year
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated last year
• doublescale / rastermizer
  View 3D models in the terminal
  ☆10Updated 5 years ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago