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
Sorting:
- This is a repository for an experimental literary project: producing imaginary source code for novels.☆19Dec 9, 2011Updated 14 years ago
- Financial Library for Nim language☆30Jan 2, 2021Updated 5 years ago
- Bookmarks made better☆19Feb 2, 2025Updated last year
- Stack-based language similar to Factor.☆26Jun 14, 2018Updated 7 years ago
- ITESM project☆10Dec 5, 2016Updated 9 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 9 years ago
- Civil TCR / Newsroom Events Crawler☆21Feb 24, 2020Updated 6 years ago
- the moonpig billing system☆70Aug 14, 2018Updated 7 years ago
- Reproducing images using hex values☆28Jan 28, 2018Updated 8 years ago
- The Gsp Prelude and Go bindings.☆28Sep 28, 2015Updated 10 years ago
- Search GitHub from your shell.☆161Aug 25, 2015Updated 10 years ago
- ☆35Sep 20, 2025Updated 5 months ago
- Azure Stream Analytics In VSCode☆11Jun 12, 2023Updated 2 years ago
- ☆10Nov 18, 2016Updated 9 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Sep 20, 2021Updated 4 years ago
- Utility to convert ZIPVFS compressed SQLITE databases to a regular SQLITE file.☆11Nov 12, 2018Updated 7 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- A Common Lisp natural language processing toolkit☆54Nov 1, 2012Updated 13 years ago
- Close your Zoom meeting tabs automatically☆20Apr 14, 2024Updated last year
- ☆37May 27, 2018Updated 7 years ago
- 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
- Unpack Z-machine file format information.☆10Oct 15, 2025Updated 4 months ago
- Manage your money in the terminal with A Ruby DSL☆16Jan 1, 2026Updated 2 months ago
- Compile HTML templates to OCaml modules to generate consistent web sites.☆23Nov 12, 2021Updated 4 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- ☆10Jan 1, 2022Updated 4 years ago
- Akka Cluster for Value-at-Risk calculation☆14May 2, 2014Updated 11 years ago
- 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
- Ma dotfiles <3☆10Dec 30, 2025Updated 2 months ago
- Highlight the blocks the cursor currently is in.☆15Mar 18, 2019Updated 6 years ago
- RAFTools - A viewer/extraction toolkit for League of Legends☆10Feb 1, 2022Updated 4 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- D Text User Interface library☆12Jun 28, 2019Updated 6 years ago
- dtanks☆11Jan 28, 2016Updated 10 years ago
- Updated version of LocBaml tool from Microsoft☆13Oct 27, 2017Updated 8 years ago
- 2D car crashing game armageddon☆39Apr 18, 2022Updated 3 years ago
- Build script of BusyBox for WebAssembly (wasm) using Emscripten☆10Dec 21, 2020Updated 5 years ago
- GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin☆12Mar 27, 2020Updated 5 years ago