stassa / Gleemin

Related projects: ⓘ

• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆135Updated 3 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆50Updated 4 years ago
• sparist / Om
  The Om programming language.
  ☆167Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last year
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆46Updated 7 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆83Updated 10 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated 7 months ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆26Updated 5 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 7 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 2 weeks ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆25Updated 2 years ago
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆31Updated last week
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 8 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• jfo / sild
  Sild is a lisp dialect
  ☆44Updated 6 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆85Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆69Updated 13 years ago