stassa / Gleemin

Related projects ⓘ

Alternatives and complementary repositories for Gleemin

• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆51Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆135Updated 4 years ago
• sparist / Om
  The Om programming language.
  ☆168Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆69Updated 13 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆127Updated this week
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆32Updated this week
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆28Updated 6 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆273Updated 7 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆32Updated 6 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• goudreinette / forth
  Forth clone in Haskell
  ☆31Updated 7 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆27Updated 7 years ago
• get-bonus / get-bonus
  an experimental video game development environment
  ☆104Updated 3 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆18Updated last year
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago