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
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 2 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆166Updated last week
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last month
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 2 months ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated 3 weeks ago
• cceckman / popular-block-storage
  Use Minecraft chests for Linux block storage. Submitted to SIGBOVIK 2020.
  ☆13Updated 5 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆305Updated this week
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆219Updated 2 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated 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
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆231Updated this week
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆258Updated last year
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated 5 months ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 4 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆89Updated 8 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆143Updated 7 years ago