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.
  ☆33Updated 5 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 8 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 8 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆99Updated last week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• rtulip / haystack
  Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.
  ☆26Updated 10 months ago
• aya-lang / aya
  Pocket sized programs
  ☆55Updated last month
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated last month
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆89Updated last year
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆12Updated last year
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• goblint / cil
  C Intermediate Language
  ☆146Updated last month
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 2 months ago
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆15Updated last year
• zachgk / catln
  A high-level programming language
  ☆38Updated last month
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 10 months ago