Alternatives and similar repositories for Andl:

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

• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• postgrespro / pg_tsdtm
  ☆31Updated 9 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 13 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 6 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 9 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 7 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• mfp / extprot
  extprot: extensible binary protocols for cross-language communication and long-term serialization
  ☆210Updated last year
• tlack / xxl
  a minimal vector programming language
  ☆180Updated 4 years ago
• rehartmann / durodbms
  Relational Database Management System
  ☆16Updated 4 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• humanistic / REN
  The REN human friendly data notation
  ☆53Updated 5 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 8 years ago
• dataphor / Dataphor
  Dataphor Federated Database Management System
  ☆68Updated 2 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆157Updated last year
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 9 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆120Updated 4 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆272Updated 11 years ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆100Updated last year
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago