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
• nmoroze / kronos
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last week
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆63Updated last week
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated last month
• xiw / arithcc
  ☆14Updated 4 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆111Updated last week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆125Updated 6 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 5 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆50Updated 4 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated 11 months ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆7Updated last year
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆31Updated 3 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆94Updated 2 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• uw-unsat / exoverifier
  ☆17Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago