ColemanGariety/derivation-machine 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

ColemanGariety/derivation-machine

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/ColemanGariety/derivation-machine)

Close

ColemanGariety / derivation-machineView on GitHubMore

• External links
• Readme badge

Propositional calculus in Haskell

☆11Nov 21, 2016Updated 9 years ago

Alternatives and similar repositories for derivation-machine

Users that are interested in derivation-machine are comparing it to the libraries listed below

• zachwhalen / Ivanhoe-Ivanhoe

  View on GitHub
  This is a repository for an experimental literary project: producing imaginary source code for novels.
  ☆19Dec 9, 2011Updated 14 years ago
• qqtop / NimFinLib

  View on GitHub
  Financial Library for Nim language
  ☆30Jan 2, 2021Updated 5 years ago
• evansalter / gata

  View on GitHub
  Bookmarks made better
  ☆19Feb 2, 2025Updated last year
• dom96 / nael

  View on GitHub
  Stack-based language similar to Factor.
  ☆26Jun 14, 2018Updated 7 years ago
• eduAguilar96 / Swordsmen

  View on GitHub
  ITESM project
  ☆10Dec 5, 2016Updated 9 years ago
• alehander92 / hatlog

  View on GitHub
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Jun 10, 2016Updated 9 years ago
• joincivil / civil-events-crawler

  View on GitHub
  Civil TCR / Newsroom Events Crawler
  ☆21Feb 24, 2020Updated 6 years ago
• fastmail / Moonpig

  View on GitHub
  the moonpig billing system
  ☆70Aug 14, 2018Updated 7 years ago
• sacert / Hex

  View on GitHub
  Reproducing images using hex values
  ☆28Jan 28, 2018Updated 8 years ago
• gsp-lang / stdlib

  View on GitHub
  The Gsp Prelude and Go bindings.
  ☆28Sep 28, 2015Updated 10 years ago
• ColemanGariety / galileo

  View on GitHub
  Search GitHub from your shell.
  ☆161Aug 25, 2015Updated 10 years ago
• stevenknown / xgen

  View on GitHub
  ☆35Sep 20, 2025Updated 5 months ago
• microsoft / vscode-asa

  View on GitHub
  Azure Stream Analytics In VSCode
  ☆11Jun 12, 2023Updated 2 years ago
• CyanogenMod / android_device_samsung_ks01lte

  View on GitHub
  ☆10Nov 18, 2016Updated 9 years ago
• herrmanntom / setlX

  View on GitHub
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆29Sep 20, 2021Updated 4 years ago
• ratcashdev / zipvfs-converter

  View on GitHub
  Utility to convert ZIPVFS compressed SQLITE databases to a regular SQLITE file.
  ☆11Nov 12, 2018Updated 7 years ago
• arcadio / data-logic

  View on GitHub
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆23Feb 15, 2026Updated 2 weeks ago
• eslick / cl-langutils

  View on GitHub
  A Common Lisp natural language processing toolkit
  ☆54Nov 1, 2012Updated 13 years ago
• thesephist / clozoom

  View on GitHub
  Close your Zoom meeting tabs automatically
  ☆20Apr 14, 2024Updated last year
• burtonator / pdf-annotation-exporter

  View on GitHub
  ☆37May 27, 2018Updated 7 years ago
• potentiaco / Hospital-Compare-datasets

  View on GitHub
  These are the official datasets used on the Medicare.gov Hospital Compare Website provided by the Centers for Medicare & Medicaid Service…
  ☆10Mar 12, 2018Updated 7 years ago
• heasm66 / unz

  View on GitHub
  Unpack Z-machine file format information.
  ☆10Oct 15, 2025Updated 4 months ago
• tomas-stefano / financial

  View on GitHub
  Manage your money in the terminal with A Ruby DSL
  ☆16Jan 1, 2026Updated 2 months ago
• Chris00 / weberizer

  View on GitHub
  Compile HTML templates to OCaml modules to generate consistent web sites.
  ☆23Nov 12, 2021Updated 4 years ago
• latte-central / latte-kernel

  View on GitHub
  The (very) small kernel of the LaTTe proof assistant
  ☆12Mar 13, 2025Updated 11 months ago
• ijp / minikanren

  View on GitHub
  r6rs packaging of minikanren from "The Reasoned Schemer"
  ☆12Apr 22, 2015Updated 10 years ago
• jashughes / adventofcode2021

  View on GitHub
  ☆10Jan 1, 2022Updated 4 years ago
• ezhulenev / akka-var-calculation

  View on GitHub
  Akka Cluster for Value-at-Risk calculation
  ☆14May 2, 2014Updated 11 years ago
• oldnewthing / old-Windows-universal-samples

  View on GitHub
  Archive of Windows Universal Samples repo from //build 2015. "This repo contains the samples that demonstrate the API usage patterns for …
  ☆13Apr 16, 2022Updated 3 years ago
• ItsJonQ / dotfiles

  View on GitHub
  Ma dotfiles <3
  ☆10Dec 30, 2025Updated 2 months ago
• Fanael / highlight-blocks

  View on GitHub
  Highlight the blocks the cursor currently is in.
  ☆15Mar 18, 2019Updated 6 years ago
• vs49688 / RAFTools

  View on GitHub
  RAFTools - A viewer/extraction toolkit for League of Legends
  ☆10Feb 1, 2022Updated 4 years ago
• mpw / pLucid-osx

  View on GitHub
  A "port" of plucid that works on OS X
  ☆12Oct 25, 2014Updated 11 years ago
• UplinkCoder / d-tui

  View on GitHub
  D Text User Interface library
  ☆12Jun 28, 2019Updated 6 years ago
• kingsleyh / dtanks

  View on GitHub
  dtanks
  ☆11Jan 28, 2016Updated 10 years ago
• JeremyDurnell / locbaml

  View on GitHub
  Updated version of LocBaml tool from Microsoft
  ☆13Oct 27, 2017Updated 8 years ago
• kenamick / savagewheels

  View on GitHub
  2D car crashing game armageddon
  ☆39Apr 18, 2022Updated 3 years ago
• vadimkantorov / busyboxnanozipdiff3

  View on GitHub
  Build script of BusyBox for WebAssembly (wasm) using Emscripten
  ☆10Dec 21, 2020Updated 5 years ago
• redsand / gr-ppm-wiegand

  View on GitHub
  GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin
  ☆12Mar 27, 2020Updated 5 years ago