Dev tools · alternatives · 2026
24 alternatives to I wrote a Haskell program that does my intro logic homework
Propositional calculus in Haskell. Contribute to ColemanGariety/derivation-machine development by creating an account on GitHub.
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. I wrote a Haskell program that does my intro logic homework launched in 2016; newer entries below may have overtaken it.
- 1
A Pascal to LLVM compiler in Haskell . Contribute to sam46/Paskell development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 2
Get the skills to land a job in the tech industry in BloomTech’s online programs. Learn about our Tuition Refund Guarantee!
2016 · lambdaschool.com · its alternatives →
- 3IW
The book page links to a blog post that explains how I got about it (and has a link to sample content), but the TL&DR is that I could not find a lot of books that were on "our" history _and_ were larded with technical details. So I set about writing one, and some five years later I'm happy to share the result. I think it's one of the few "computer history" books that has tons of code, but correct me if I'm wrong (I wrote this both to tell a story and to learn :-)). My favorite languages are Smalltalk and Lisp, but as an Emacs user, I've been using the latter for much longer and for my…
Feb 2026 · berksoft.ca · its alternatives →
- 4
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
- 5
🂺 A Multiplayer Poker App Crafted with Haskell and React - therewillbecode/poker-maison
2019 · github.com · its alternatives →
- 6
Great book with a low barrier to entry for learning Haskell
2016 · haskellbook.com · its alternatives →
- 7GI
Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D
2023 · its alternatives →
- 8
GitHub Gist: instantly share code, notes, and snippets.
2011 · gist.github.com · its alternatives →
- 9
TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 10
A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
2019 · github.com · its alternatives →
- 11SH
2017 · pixel-druid.com · its alternatives →
- 12
We heard your requests for Haskell and today we're excited to finally announce Haskell as yet another language we support. We've decided to put our focus...
2017 · repl.it · its alternatives →
- 13
Fast equality saturation in Haskell
2022 · hackage.haskell.org · its alternatives →
- 14
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970
2021 · unsafeperform.io · its alternatives →
- 15IA
Software Engineer in New York specializing in Apple platforms
2015 · harlanhaskins.com · its alternatives →
- 16
The game of Go for the command line. Contribute to tsujigiri/gosh development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 17
Glupe 🙏🌹. Constrain where AI can generate code. Keep the rest of your codebase untouched. - alonsovm44/glupe
Mar 2026 · github.com · its alternatives →
- 18SM
In past few weeks, I wrote several chapters to learn Scheme, a programming language of the Lisp dialect. The writing is not final as many chapters are missing. I wrote this because I wanted to improve my Scheme knowledge and increase the (low) number of Scheme literature. The writing is inspired by Calculus Made Easy, which I learned about here on HN. This is why I'm sharing it here. But keep in mind that my writing style is not as good as that in the above-mentioned inspiration. Feedback is very much appreciated.
2024 · schememadeeasy.com · its alternatives →
- 19
hspp: An experimental library to bring Haskell Style Programming to C++. - BowenFu/hspp
2022 · github.com · its alternatives →
- 20IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com · its alternatives →
- 21
I made a starter template for creating Haskell web-applications using HTMX, AlpineJS, Servant, TailwindCSS and Lucid (HASTL) - I really enjoy working in this stack and I think it brings together a lot of cool technologies with the awesomeness of Haskell doing all the heavy lifting I also tried to make it "production ready" by adding build and test tools e.g. it comes with simple Make targets and with unit and integration tests that use testcontainers to spin up the database and web application to test against. It's based on the awesome servant-persistant example by Matt Parsons…
2024 · github.com · its alternatives →
- 22
Contribute to dkohlsdorf/gemini_prolog development by creating an account on GitHub.
Apr 2026 · github.com · its alternatives →
- 23
A DSL for deep neural networks, supporting Caffe and Torch - ajtulloch/dnngraph
2015 · github.com · its alternatives →
- 24
Interactive Haskell Powered CAD Playground
Jul 2026 · doscienceto.it · its alternatives →
Also compare
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →