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.
  ☆34Updated 6 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆15Updated last year
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆60Updated last week
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• mattjquinn / jcompiler
  A compiler for the J programming language
  ☆33Updated 3 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆305Updated last week
• aya-lang / aya
  Pocket sized programs
  ☆57Updated 2 weeks ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated this week
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆68Updated last month
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆107Updated last month
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆99Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆104Updated 2 weeks ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 2 months ago
• vmchale / apple
  Apple array system
  ☆66Updated last week
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year