dbunker / SABR

Related projects ⓘ

Alternatives and complementary repositories for SABR

• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• NVIDIA / remorac
  ☆38Updated 8 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆15Updated last year
• gilbo / baselang
  A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
  ☆10Updated 9 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated last year
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 8 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated 7 months ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 9 years ago
• benfb / elixush
  Push programming language interpreter implemented in Elixir
  ☆13Updated 7 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• jmillikin / anansi
  ☆10Updated 2 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆16Updated 5 months ago
• Qqwy / Jux
  ☆13Updated 3 years ago