pkrumins/the-little-prover external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

pkrumins/the-little-prover

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/pkrumins/the-little-prover)

Close

pkrumins / the-little-proverView on GitHubMore

• External links
• Readme badge

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

• pkrumins / the-seasoned-schemer

  View on GitHub
  All the Scheme code examples from the book "The Seasoned Schemer"
  ☆101Mar 9, 2019Updated 7 years ago
• pkrumins / the-reasoned-schemer

  View on GitHub
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆53Mar 28, 2010Updated 15 years ago
• simmone / racket-simple-qr

  View on GitHub
  a qr code tool for racket-lang
  ☆11Jun 15, 2024Updated last year
• prool / virtustan-mud

  View on GitHub
  Virtustan MUD
  ☆12Feb 5, 2026Updated last month
• the-little-prover / j-bob

  View on GitHub
  ☆436Feb 8, 2024Updated 2 years ago
• ojarjur / multischeme

  View on GitHub
  Compile-time multitasking support for the Scheme programming language
  ☆37Jan 1, 2015Updated 11 years ago
• SuzanneSoy / scribble-math

  View on GitHub
  Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation
  ☆17Jun 11, 2024Updated last year
• ptarau / pypro

  View on GitHub
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Mar 1, 2023Updated 3 years ago
• KaKrzysiek / bigint

  View on GitHub
  Open source library to handle integers of any size in C
  ☆14Apr 11, 2023Updated 2 years ago
• lisp-korea / sicp

  View on GitHub
  sicp solution of lisp korea group
  ☆43Jan 24, 2012Updated 14 years ago
• Gl237man / mineroute

  View on GitHub
  Synthesis minecraft redstone schemes from verilog
  ☆18Sep 20, 2018Updated 7 years ago
• ptarau / binprolog

  View on GitHub
  Fast, simplified WAM-based Prolog system
  ☆25Oct 30, 2025Updated 4 months ago
• KnightOS / kcc

  View on GitHub
  KnightOS C compiler
  ☆25Dec 20, 2020Updated 5 years ago
• wallyqs / ob-racket

  View on GitHub
  Driver to run Racket code blocks in Org mode
  ☆21Apr 18, 2015Updated 10 years ago
• coding-robots / iwl

  View on GitHub
  Previous version of "I Write Like" written in Racket
  ☆59Aug 8, 2016Updated 9 years ago
• annenkov / two-level

  View on GitHub
  Two-Level Type Theory
  ☆28Dec 13, 2019Updated 6 years ago
• freebsd / fcp

  View on GitHub
  The FreeBSD Community Proposal Repository
  ☆27Aug 28, 2019Updated 6 years ago
• suvayu / .emacs.d

  View on GitHub
  My emacs settings directory.
  ☆32Dec 26, 2024Updated last year
• dybvig / stex

  View on GitHub
  stex: stex to latex and latex to html converters and associated tools
  ☆93Dec 1, 2023Updated 2 years ago
• lexi-lambda / racket-collections

  View on GitHub
  Generic collections API for Racket
  ☆52Mar 29, 2022Updated 3 years ago
• dcyoagames / sissylifecyoa

  View on GitHub
  Sissy Life CYOA
  ☆12Sep 4, 2015Updated 10 years ago
• texmacs / texmacs-doc-chinese-translation

  View on GitHub
  TeXmacs文档翻译
  ☆25Jun 22, 2019Updated 6 years ago
• SWI-Prolog / packages-http

  View on GitHub
  The SWI-Prolog HTTP server and client libraries
  ☆27Updated this week
• webyrd / miniKanren-with-symbolic-constraints

  View on GitHub
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆167Apr 1, 2017Updated 8 years ago
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Sep 1, 2019Updated 6 years ago
• chenjiee815 / a_little_java_a_few_patterns

  View on GitHub
  《A Little Java, A Few Patterns》笔记
  ☆58Feb 4, 2020Updated 6 years ago
• webyrd / miniKanren

  View on GitHub
  Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
  ☆135Jan 15, 2015Updated 11 years ago
• trondeau / gnuradio-old

  View on GitHub
  gnuradio
  ☆26Nov 29, 2019Updated 6 years ago
• rla / simple-template

  View on GitHub
  Text templating processor for SWI-Prolog.
  ☆32Mar 14, 2020Updated 5 years ago
• danprager / racket-2048

  View on GitHub
  The 2048 game implemented in Racket language
  ☆81May 1, 2014Updated 11 years ago
• erincandescent / lib9660

  View on GitHub
  A simple ISO9660 file system implementation.
  ☆45Jan 26, 2025Updated last year
• Anniepoo / weblog

  View on GitHub
  Web Framework for SWI-Prolog
  ☆43Dec 23, 2015Updated 10 years ago
• wouterbeek / prolog_library_collection

  View on GitHub
  A collection of Prolog libraries.
  ☆88Aug 31, 2024Updated last year
• flyerwg / bit_move_dorm

  View on GitHub
  2020年北京理工大学强制将毕业生宿舍行李物品寄走事件
  ☆11Jul 7, 2020Updated 5 years ago
• tomdjong / thesis-template

  View on GitHub
  Template for a (PhD) thesis
  ☆11Nov 5, 2025Updated 4 months ago
• xiexinyls / vim

  View on GitHub
  Useful vim indent, syntax, and filetype setting for NCL, fortran.
  ☆11Feb 23, 2021Updated 5 years ago
• oldcompcz / micro-PROLOG

  View on GitHub
  Disassembled code of SPECTRUM micro-PROLOG T1.0
  ☆36Nov 13, 2018Updated 7 years ago
• evanrmurphy / PicoLisp

  View on GitHub
  ☆31Jan 13, 2011Updated 15 years ago
• alex-hhh / map-widget

  View on GitHub
  A Racket GUI Widget to display maps based on OpenStreetMap tiles
  ☆41Feb 24, 2026Updated last week