Alternatives and similar repositories for paip

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

• webyrd / 2012-scheme-workshop-quines-paper-code

  View on GitHub
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Feb 27, 2025Updated 11 months ago
• scheme-and-computer-science / library.readscheme.org

  View on GitHub
  Bibliography of Scheme-related Research
  ☆15Apr 11, 2019Updated 6 years ago
• darius / spaced-out

  View on GitHub
  Vocab drill using parallel corpora, plus classic spaced-repetition drill
  ☆30Aug 19, 2015Updated 10 years ago
• webyrd / probKanren

  View on GitHub
  Probabilistic miniKanren
  ☆67Oct 20, 2015Updated 10 years ago
• NCATSTranslator / Translator-All

  View on GitHub
  ☆13Sep 11, 2024Updated last year
• humano / milfs

  View on GitHub
  Gestión de datos
  ☆10Jul 5, 2018Updated 7 years ago
• nicferrier / emacs-db

  View on GitHub
  very simple database for emacslisp, can also wrap other databases.
  ☆57Jan 18, 2017Updated 9 years ago
• maksimKorzh / bmcp

  View on GitHub
  bare minimum chess program
  ☆11Sep 16, 2020Updated 5 years ago
• zebreus / prolog-chess

  View on GitHub
  A simple minimax chess engine written in prolog
  ☆11May 8, 2023Updated 2 years ago
• copy / falling-fellow

  View on GitHub
  A game for Lounge's game jam
  ☆10Mar 22, 2015Updated 10 years ago
• galaxy-genome-annotation / docker-tripal

  View on GitHub
  Docker container for Tripal
  ☆10Mar 29, 2022Updated 3 years ago
• idin / linguistics

  View on GitHub
  Python library for natural language processing
  ☆10May 8, 2022Updated 3 years ago
• vtereshkov / umplot

  View on GitHub
  UmPlot: A plotting library for Umka
  ☆13Jun 8, 2024Updated last year
• briatte / tidykml

  View on GitHub
  Turn KML Files into tidy data frames:
  ☆12Jan 1, 2017Updated 9 years ago
• true-grue / old_softsynths_article_examples

  View on GitHub
  ☆12Jan 25, 2018Updated 8 years ago
• ccrma / faust2ck

  View on GitHub
  A FAUST wrapper-generator for ChucK Ugens
  ☆18Updated this week
• ContinuumIO / pivottablejs-airgap

  View on GitHub
  pivottablejs for air-gapped systems
  ☆13Aug 14, 2024Updated last year
• webyrd / tree-automata

  View on GitHub
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Aug 3, 2023Updated 2 years ago
• zick / LuaLisp

  View on GitHub
  Lisp implementation in Lua
  ☆12Aug 9, 2014Updated 11 years ago
• daandouwe / neural-ngram

  View on GitHub
  Neural ngram language model in PyTorch.
  ☆10Sep 27, 2018Updated 7 years ago
• AshleyF / Lispkit

  View on GitHub
  Lispkit Lisp/SECD Machine
  ☆12Sep 11, 2017Updated 8 years ago
• kjljixx / Aurora-Chess-Engine

  View on GitHub
  An open-source chess engine with an MCTS-Minimax hybrid search and an NNUE evaluation
  ☆13Aug 22, 2025Updated 5 months ago
• justintaft / emacs-transclusion

  View on GitHub
  Transclusion of files in emacs
  ☆15Jan 27, 2020Updated 6 years ago
• webyrd / wreckto-verseo

  View on GitHub
  Experiments with the Verse Calculus in miniKanren
  ☆14Sep 17, 2023Updated 2 years ago
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year
• 8l / pilos

  View on GitHub
  PilOS - A Stand-Alone Operating System
  ☆14Aug 1, 2017Updated 8 years ago
• uniqush / uniqush-conn

  View on GitHub
  (Unmaintained) Server side program maintains communication channels between server and mobile devices.
  ☆37Nov 29, 2013Updated 12 years ago
• orchid-hybrid / microKanren-sagittarius

  View on GitHub
  microKanren sagittarius/larceny
  ☆11Jun 13, 2015Updated 10 years ago
• SecureDNA / SecureDNA

  View on GitHub
  SecureDNA client and server components monorepo
  ☆14Oct 20, 2025Updated 3 months ago
• darius / idel

  View on GitHub
  A low-level virtual machine for mobile code
  ☆12Sep 23, 2017Updated 8 years ago
• SpeedoPasanen / gun-rx

  View on GitHub
  RXJS wrapper for Gun Database
  ☆12Dec 10, 2017Updated 8 years ago
• benhoyt / repike

  View on GitHub
  Rob Pike's simple regex matcher converted to Go
  ☆11Aug 14, 2022Updated 3 years ago
• logicmoo / programk

  View on GitHub
  Chatbot impls in Prolog
  ☆15Feb 15, 2022Updated 3 years ago
• samsergey / monopig

  View on GitHub
  Monoidal stack machine
  ☆10Nov 25, 2018Updated 7 years ago
• unisb-bioinf / causaltrail

  View on GitHub
  CausalTrail - a tool for performing causal reasoning using the do-calculus
  ☆12Jun 9, 2021Updated 4 years ago
• aprell / tiny.lua

  View on GitHub
  A toy programming language written in Lua
  ☆14Dec 28, 2022Updated 3 years ago
• eriksoe / ErlangQuest

  View on GitHub
  Learn Erlang through this set of challenges. An interactive system for getting to know Erlang.
  ☆33Apr 13, 2015Updated 10 years ago
• ysb33r / gnumake-gradle-plugin

  View on GitHub
  Running GNU Make from Gradle
  ☆12Aug 20, 2024Updated last year
• freerange / bank

  View on GitHub
  An exploration of how to create a simple "bank" in the UK in c. 2014
  ☆15Jul 3, 2014Updated 11 years ago