Alternatives and similar repositories for halt_is_defeat:

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

• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆32Updated 3 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆51Updated 7 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 7 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 7 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆158Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆71Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆296Updated this week
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 5 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆200Updated 2 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated last month
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated last month
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆90Updated last week
• standardml / twelf
  The Twelf Programming Language
  ☆117Updated this week
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆56Updated 8 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 11 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week