Alternatives and similar repositories for icfp2017-artifact-auas7pp

Users that are interested in icfp2017-artifact-auas7pp are comparing it to the libraries listed below

• michaelballantyne / faster-minikanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆167Feb 4, 2025Updated last year
• miniKanren / faster-miniKanren

  View on GitHub
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆17Feb 5, 2018Updated 8 years ago
• gregr / dbKanren

  View on GitHub
  Kanren with databases
  ☆44Jul 30, 2024Updated last year
• frewsxcv / rust-crates-index-graph

  View on GitHub
  ☆11May 2, 2019Updated 6 years ago
• ThatGeoGuy / chicken-miniKanren

  View on GitHub
  Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
  ☆11Dec 30, 2025Updated last month
• webyrd / tree-automata

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

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• fulldecent / structured-acceptance-test

  View on GitHub
  An open format definition for static analysis tools
  ☆11Jan 20, 2023Updated 3 years ago
• dboulytchev / miniKanren-coq

  View on GitHub
  A certified semantics for relational programming workout.
  ☆26Oct 15, 2020Updated 5 years ago
• scheme-live / live

  View on GitHub
  Scheme library collection with yearly stable releases
  ☆17Jun 5, 2022Updated 3 years ago
• cesaro / cunf

  View on GitHub
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Nov 30, 2020Updated 5 years ago
• MikeBeller / janet-playground

  View on GitHub
  A WebAssembly based playground for Janet a la play.golang.org
  ☆13Dec 1, 2025Updated 2 months ago
• aliclark / hasp

  View on GitHub
  A Lisp syntax for Haskell.
  ☆22May 11, 2012Updated 13 years ago
• namin / staged-miniKanren

  View on GitHub
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Nov 29, 2025Updated 2 months ago
• miniKanren / Racket-miniKanren

  View on GitHub
  Canonical miniKanren implementation in Racket
  ☆87Sep 21, 2021Updated 4 years ago
• TiarkRompf / collapsing-towers

  View on GitHub
  Collapsing Towers of Interpreters
  ☆93Jun 21, 2025Updated 7 months ago
• gregr / dKanren

  View on GitHub
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Mar 28, 2020Updated 5 years ago
• ktakashi / r6rs-msgpack

  View on GitHub
  MessagePack for R6RS Scheme / msgpack.org[Scheme]
  ☆12Oct 17, 2013Updated 12 years ago
• JuliaFolds / DataTools.jl

  View on GitHub
  ☆15Sep 23, 2024Updated last year
• rthelen / tyForth

  View on GitHub
  A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.
  ☆16May 23, 2010Updated 15 years ago
• chip8-rust / chip8-vm

  View on GitHub
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Jul 11, 2015Updated 10 years ago
• webyrd / linear-logic-multiset-rewriting

  View on GitHub
  Logic for story telling!
  ☆36Mar 15, 2018Updated 7 years ago
• stamourv / sexp-diff

  View on GitHub
  S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
  ☆23Mar 9, 2021Updated 4 years ago
• VincentToups / DevilsPong

  View on GitHub
  A simple game in Scheme.
  ☆15Dec 30, 2016Updated 9 years ago
• fisherdj / miniAdapton

  View on GitHub
  a minimal implementation of incremental computation in Scheme
  ☆36Apr 30, 2017Updated 8 years ago
• csgordon / cayenne

  View on GitHub
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Jul 23, 2013Updated 12 years ago
• nyu-acsys / drift

  View on GitHub
  An abstract-interpretation-based static analysis for inferring refinement types
  ☆16Aug 11, 2025Updated 6 months ago
• lsrcz / mini-prover

  View on GitHub
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Jun 17, 2018Updated 7 years ago
• thery / T2048

  View on GitHub
  a version of the 2048 game for Coq
  ☆22Jan 30, 2026Updated 2 weeks ago
• kmcallister / azurescens

  View on GitHub
  Renders interactive fractal-like animations
  ☆19May 16, 2017Updated 8 years ago
• jackfirth / lens

  View on GitHub
  A Racket package for creating and composing pure functional lenses
  ☆79Sep 10, 2019Updated 6 years ago
• sorear / smetamath-rs

  View on GitHub
  sorear's Metamath system engine - version 3 Rust
  ☆25May 31, 2023Updated 2 years ago
• david-christiansen / dr-racket-like-unicode

  View on GitHub
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Aug 10, 2022Updated 3 years ago
• rocketnia / fexpress

  View on GitHub
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆23Sep 2, 2025Updated 5 months ago
• david-christiansen / racket-zippers

  View on GitHub
  A zipper library for Racket
  ☆20May 1, 2016Updated 9 years ago
• amsat-dl / IPS

  View on GitHub
  IPS - High Level Programming of Small Systems for the AMSAT space projects (communication satellites for radio amateurs)
  ☆23Aug 12, 2019Updated 6 years ago
• mit-plv / rewriter

  View on GitHub
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆26Feb 5, 2026Updated last week
• omelkonian / rewrite-inspector

  View on GitHub
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Oct 28, 2019Updated 6 years ago
• webyrd / scheme-primer

  View on GitHub
  Interactive Scheme Primer, written in Scheme.
  ☆22Jun 9, 2025Updated 8 months ago