Summer Scheming!!!!!!
☆11Aug 20, 2020Updated 5 years ago
Alternatives and similar repositories for summer-scheming
Users that are interested in summer-scheming are comparing it to the libraries listed below
Sorting:
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 8 months ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆18Jun 22, 2025Updated 8 months ago
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated 8 months ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- Course on Metaprogramming☆75Feb 5, 2026Updated 3 weeks ago
- purple: compiling a reflective language☆33Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Oct 4, 2025Updated 4 months ago
- Summaries of intro and advanced miniKanren hangout series☆28Dec 18, 2017Updated 8 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- ☆37Mar 12, 2024Updated last year
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- ☆78May 27, 2019Updated 6 years ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- R7RS/R6RS/Generic Scheme portability platform☆35Aug 28, 2024Updated last year
- Kanren with databases☆44Jul 30, 2024Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Oct 23, 2012Updated 13 years ago
- Why multiple dispatch lets you write composable code☆40Sep 25, 2020Updated 5 years ago
- Effective Algebraic Topology in Haskell☆91Sep 13, 2024Updated last year
- Simpe AWS lambda function to create a timelapse using a NetGear Arlo Pro Camera and ffmpeg.☆12Dec 8, 2022Updated 3 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- a minimal implementation of incremental computation in Scheme☆37Apr 30, 2017Updated 8 years ago
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Oct 17, 2025Updated 4 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 15 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Nov 26, 2025Updated 3 months ago