pkrumins / the-little-proverView external linksLinks
All code examples from "The Little Prover" book
☆23Nov 22, 2015Updated 10 years ago
Alternatives and similar repositories for the-little-prover
Users that are interested in the-little-prover are comparing it to the libraries listed below
Sorting:
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 15 years ago
- a qr code tool for racket-lang☆11Jun 15, 2024Updated last year
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Feb 2, 2018Updated 8 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated last year
- Compile-time multitasking support for the Scheme programming language☆37Jan 1, 2015Updated 11 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- sicp solution of lisp korea group☆43Jan 24, 2012Updated 14 years ago
- Synthesis minecraft redstone schemes from verilog☆18Sep 20, 2018Updated 7 years ago
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 3 months ago
- KnightOS C compiler☆25Dec 20, 2020Updated 5 years ago
- Driver to run Racket code blocks in Org mode☆21Apr 18, 2015Updated 10 years ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Oct 6, 2017Updated 8 years ago
- The FreeBSD Community Proposal Repository☆26Aug 28, 2019Updated 6 years ago
- Send data to the SoftModem breakout board for Arduino using JavaScript☆54Aug 22, 2010Updated 15 years ago
- My emacs settings directory.☆32Dec 26, 2024Updated last year
- Generic collections API for Racket☆52Mar 29, 2022Updated 3 years ago
- Sissy Life CYOA☆12Sep 4, 2015Updated 10 years ago
- TeXmacs文档翻译☆25Jun 22, 2019Updated 6 years ago
- The SWI-Prolog HTTP server and client libraries☆27Updated this week
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Jan 15, 2015Updated 11 years ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- gnuradio☆26Nov 29, 2019Updated 6 years ago
- Text templating processor for SWI-Prolog.☆32Mar 14, 2020Updated 5 years ago
- The 2048 game implemented in Racket language☆81May 1, 2014Updated 11 years ago
- A simple ISO9660 file system implementation.☆44Jan 26, 2025Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 weeks ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 4 years ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- 2020年北京理工大学强制将毕业生宿舍行李物品寄走事件☆11Jul 7, 2020Updated 5 years ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆36Nov 13, 2018Updated 7 years ago
- A Racket GUI Widget to display maps based on OpenStreetMap tiles☆41Feb 1, 2026Updated 2 weeks ago
- ☆31Jan 13, 2011Updated 15 years ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- racket-cheat - a cheat sheet for Racket☆37Nov 21, 2025Updated 2 months ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 10 years ago