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
• copy / falling-fellow

  View on GitHub
  A game for Lounge's game jam
  ☆10Mar 22, 2015Updated 10 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
• 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
• logicmoo / programk

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

  View on GitHub
  Lispkit Lisp/SECD Machine
  ☆12Sep 11, 2017Updated 8 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
• galaxy-genome-annotation / docker-tripal

  View on GitHub
  Docker container for Tripal
  ☆10Mar 29, 2022Updated 3 years ago
• ContinuumIO / pivottablejs-airgap

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

  View on GitHub
  SecureDNA client and server components monorepo
  ☆14Oct 20, 2025Updated 3 months ago
• orchid-hybrid / microKanren-sagittarius

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

  View on GitHub
  The Matasano Crypto Challenges in Rust http://cryptopals.com/
  ☆11Nov 5, 2015Updated 10 years ago
• ysb33r / gnumake-gradle-plugin

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

  View on GitHub
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13May 21, 2016Updated 9 years ago
• idin / linguistics

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

  View on GitHub
  A low-level virtual machine for mobile code
  ☆12Sep 23, 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
• true-grue / old_softsynths_article_examples

  View on GitHub
  ☆12Jan 25, 2018Updated 8 years ago
• true-grue / tiny_pluck

  View on GitHub
  C implementation of Karplus–Strong synthesis for tiny MCUs
  ☆11Aug 28, 2013Updated 12 years ago
• SpeedoPasanen / gun-rx

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

  View on GitHub
  Command-line spaced repetition scheduler.
  ☆10Mar 8, 2015Updated 10 years ago
• westerp / ebf-compiler

  View on GitHub
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11May 6, 2018Updated 7 years ago
• 8l / pilos

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

  View on GitHub
  Create an eBook from Pete Keen's Ledger tutorials
  ☆10Jun 10, 2018Updated 7 years ago
• yarbroughw / secdpy

  View on GitHub
  SECD machine and Lispkit Lisp compiler, in Python
  ☆14Oct 25, 2017Updated 8 years ago
• michaelballantyne / miniKanren-occurrence-type-inferencer

  View on GitHub
  ☆13Mar 2, 2015Updated 10 years ago
• Wodan58 / joy0

  View on GitHub
  Original Joy
  ☆10Dec 17, 2024Updated last year
• codeforscience / learning

  View on GitHub
  Resources for learning how to code for science
  ☆11Dec 11, 2015Updated 10 years ago
• VikParuchuri / evolve-music

  View on GitHub
  Superseded by github.com/vikparuchuri/evolve-music2 -- use that instead.
  ☆24Feb 13, 2015Updated 11 years ago
• HPI-ELEA / elea

  View on GitHub
  Invent new EAs and GA or show your students how they work.
  ☆12Jan 29, 2026Updated 2 weeks ago
• squarejellyfish / pasic

  View on GitHub
  ☆10Feb 3, 2025Updated last year
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year