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 7 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• wetneb / sheetshow
  A renderer for sheet diagrams in bimonoidal categories
  ☆13Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 months ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated last month
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 8 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆90Updated 8 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 6 months ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆236Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated last week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last week
• xiw / arithcc
  ☆13Updated 4 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 3 months ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆150Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago