madgen / datalog-crdt

Related projects: ⓘ

• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆41Updated 7 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆58Updated 4 years ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆25Updated 5 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆17Updated 2 weeks ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 8 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 3 weeks ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• pachadb / pachadb
  an edge database
  ☆25Updated last month
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆56Updated 4 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆29Updated 9 months ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 2 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆52Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆19Updated last year
• jaredly / jerd
  ☆36Updated 2 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆25Updated 3 months ago
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 2 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆121Updated last year
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• jaredly / myntax
  ☆51Updated 5 years ago
• owlbarn / actor
  Owl's Parallel & Distributed Computing Engine
  ☆30Updated 5 years ago
• adkelley / prolog-starter
  A Starter Template for SWI-Prolog Projects
  ☆10Updated 4 years ago
• winitzki / CocoaJoin
  Implementation of join calculus in Objective-C for iOS
  ☆11Updated 6 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆40Updated 2 years ago
• smpoulsen / terp
  A functional programming language with lisp syntax and ML semantics that runs on the BEAM
  ☆35Updated 2 years ago