Alternatives and similar repositories for freiscale:

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

• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• cceckman / popular-block-storage
  Use Minecraft chests for Linux block storage. Submitted to SIGBOVIK 2020.
  ☆13Updated 4 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated last month
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• kframework / matching-logic-prover
  ☆15Updated 4 years ago
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• doublescale / rastermizer
  View 3D models in the terminal
  ☆10Updated 5 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 months ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 2 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 3 months ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆51Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• xiw / arithcc
  ☆14Updated 4 years ago
• 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
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 8 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆28Updated 3 weeks ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• fordsec / racets
  Faceted execution in Racket
  ☆12Updated 6 years ago