Alternatives and similar repositories for freiscale:

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

• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 7 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• INRIA / velus
  A Lustre compiler in Coq
  ☆63Updated 2 weeks ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last week
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• cceckman / popular-block-storage
  Use Minecraft chests for Linux block storage. Submitted to SIGBOVIK 2020.
  ☆13Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 11 months ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 10 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆140Updated 2 weeks ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 2 months ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆220Updated this week
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆13Updated last year
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago
• BillHallahan / G2
  ☆35Updated this week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated this week
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆26Updated 8 months ago
• living-room / turing
  programmable space at Recurse Center
  ☆53Updated 11 months ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago