Coding along with the book by Will Kurt
☆20Jan 16, 2025Updated last year
Alternatives and similar repositories for get-programming-with-haskell
Users that are interested in get-programming-with-haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scala Test Driven Development published by PACKT☆14Jan 30, 2023Updated 3 years ago
- ☆18May 2, 2018Updated 8 years ago
- ☆12May 24, 2026Updated 5 months ago
- Elm WebGL morphing particle system☆12Nov 12, 2025Updated 11 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Protege Desktop plug-in that provides support for writing and executing SPARQL queries.☆13May 25, 2019Updated 7 years ago
- Rust bindings for osquery☆13May 9, 2024Updated 2 years ago
- Python bindings for conversion between numpy and Eigen objects☆11Apr 19, 2020Updated 6 years ago
- An example of creating your own Scala compiler plugin.☆12Apr 6, 2023Updated 3 years ago
- A Reactive Sparql Client written in Scala and Akka☆14Sep 18, 2023Updated 3 years ago
- The Verum Programming Language☆15Updated this week
- Backtrac is a version centric backup system for office and professional use.☆11Dec 11, 2012Updated 13 years ago
- Files shared from PocketBook E-reader's Official Gitlab☆12Feb 22, 2026Updated 8 months ago
- The Amoeba World game☆15Oct 10, 2014Updated 12 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.
- Example Java Springboot3 App demonstrating Saga microservice architecture pattern for a cab booking app☆12Jul 12, 2024Updated 2 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Feb 4, 2020Updated 6 years ago
- Claude Code skill for developing with NATS (nats.io)☆15Mar 31, 2026Updated 7 months ago
- a project manage tool for Idris☆17Aug 24, 2016Updated 10 years ago
- Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning☆12Mar 26, 2020Updated 6 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- FarsiWeb's Fonts - A Persian Font Collection☆29Sep 4, 2013Updated 13 years ago
- An opinionated OTP framework wrapper☆26Oct 13, 2026Updated 3 weeks ago
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [Mirror] A TailwindCSS plugin for the Gradle build system.☆10May 29, 2026Updated 5 months ago
- A platform to help meetup organizers and speakers grow together☆23May 15, 2024Updated 2 years ago
- Fully reactive, non-blocking akka http REST API☆10Jun 20, 2016Updated 10 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 4 years ago
- This is just a sample application with akka http and slick☆14Nov 18, 2018Updated 7 years ago
- Provides client functionality for the Protege Desktop application to connect to an OWL Ontology Server.☆16Apr 2, 2018Updated 8 years ago
- ☆12Jan 31, 2016Updated 10 years ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated 2 years ago
- ☆12Nov 26, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fake data generator☆12Jul 29, 2020Updated 6 years ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆18Jun 7, 2018Updated 8 years ago
- the easiest way to run wasm-opt☆21Sep 3, 2018Updated 8 years ago
- Talk on Scala best practices☆13Nov 15, 2019Updated 6 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Apr 19, 2021Updated 5 years ago
- A port of 2048 using Haskell and Miso☆15Feb 7, 2018Updated 8 years ago
- A simple gtk application for managing an OpenVPN killswitch☆12Oct 19, 2021Updated 5 years ago