ixchow / freiscale

Related projects ⓘ

Alternatives and complementary repositories for freiscale

• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• clarus / falso
  A proof of false in Coq.
  ☆93Updated 5 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 7 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆37Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆147Updated this week
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated last week
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated last week
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated 9 months ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆48Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• xiw / arithcc
  ☆13Updated 4 years ago
• clf / celf
  ☆59Updated 5 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last year
• petersn / autosat
  Library for creation of SAT instances.
  ☆17Updated 2 years ago
• marijnheule / microsat
  microsat
  ☆130Updated 2 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆92Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆35Updated last year
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆14Updated 2 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆49Updated 4 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆59Updated last month