An automatic first-order theorem prover in Haskell
☆12Oct 16, 2015Updated 11 years ago
Alternatives and similar repositories for eddie
Users that are interested in eddie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive Fiction for Interactive Ruby☆23Oct 17, 2015Updated 11 years ago
- Hexagonal Ants☆14Jan 17, 2023Updated 3 years ago
- A calculator with equations and variables☆13Mar 23, 2016Updated 10 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Oct 11, 2026Updated 3 weeks ago
- Double-ended queues☆14Apr 4, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.☆11Oct 27, 2014Updated 12 years ago
- Overview of PureScript libraries/tools for Cardano☆11Jul 25, 2024Updated 2 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 7 years ago
- joke page until I decide what to do with this domain name☆43Oct 27, 2026Updated last week
- Notes on the rdf/json format☆10Oct 20, 2016Updated 10 years ago
- Highly efficient immutable list powered RRB-trees implementing the Data.Array API☆14Oct 16, 2023Updated 3 years ago
- A PureScript UI library built upon the react☆10May 27, 2022Updated 4 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆13Sep 4, 2022Updated 4 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 9 years ago
- The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen☆12Oct 22, 2026Updated 2 weeks ago
- mumps compiler forked from sourceforge (Copyright Raymond Douglas Newman)☆13Mar 4, 2013Updated 13 years ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 15 years ago
- ☆11May 18, 2016Updated 10 years ago
- VA-Partnership to increase Access to Lung Screening☆10Jan 30, 2025Updated last year
- An IRC client library for F#.☆12Sep 12, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Jul 2, 2014Updated 12 years ago
- A demo of using WebRTC with no signaling server.☆13Sep 3, 2021Updated 5 years ago
- Haskell library for non-deterministic pattern matching☆19Dec 21, 2025Updated 10 months ago
- ☆12Oct 13, 2026Updated 3 weeks ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 9 years ago
- Approximations to the Erlang C queue length formula for M/M/n queues☆11Dec 15, 2020Updated 5 years ago
- Magus - Like Janus, but with more Magic. The ultimate dotfiles distribution.☆13Feb 25, 2015Updated 11 years ago
- API client for the White House's We The People petition application☆13Jan 18, 2023Updated 3 years ago
- Frame Representation Language☆14Mar 14, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Jan 26, 2018Updated 8 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- RESTful web api for MDX to JSON transformation (plus JSONP and XML/A) for InterSystems Caché. Also provides information about DeepSee obj…☆10Feb 13, 2026Updated 8 months ago
- A Pint-sized Earley Parser☆34Sep 12, 2024Updated 2 years ago
- Documents for the developments of ISO 24707 Editiion 2 (Common Logic)☆11Oct 27, 2015Updated 11 years ago
- Visualize your propositions as a truth table☆28Mar 23, 2016Updated 10 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
Are these results useful?