Alternatives and similar repositories for gerbil-persist:

Users that are interested in gerbil-persist are comparing it to the libraries listed below

• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 3 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 4 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• mthom / scryer-shen
  ☆45Updated 3 months ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated this week
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆49Updated 2 years ago
• mentat-collective / road-to-reality
  The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…
  ☆92Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 10 months ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆96Updated 9 months ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• fogus / tori-lisp
  an ersatz lisp for tiny birds. a code riff.
  ☆43Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated last week
• codr7 / whirlog
  a minimal versioned log structured relational DB in Common Lisp
  ☆74Updated 3 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 2 years ago
• shaunlebron / parinfer
  ☆37Updated 2 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆80Updated 4 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆108Updated 2 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆42Updated 5 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆103Updated this week
• Shen-Language / wiki
  ☆73Updated 10 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 11 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆113Updated 2 months ago