dbunker / SABR

Related projects: ⓘ

• 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
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆32Updated 11 years ago
• jsa-aerial / DMM
  Data Flow Matrix Machines. Generalization of recurrent neural networks.
  ☆15Updated last year
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆23Updated 7 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆19Updated last year
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• jmillikin / anansi
  ☆10Updated 2 years ago
• NVIDIA / remorac
  ☆39Updated 8 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 7 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 5 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 3 years ago
• calvis / kraken
  Prototype of a new constraint-logic programming language in Racket
  ☆28Updated 9 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆60Updated 8 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆22Updated last year
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆15Updated 3 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆26Updated 12 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 8 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆39Updated 2 years ago