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:
- CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…☆10Apr 19, 2022Updated 4 years ago
- Session notes of Droidcon Berlin Barcamp 2015☆10May 1, 2016Updated 10 years ago
- Isomorphic Go, published by Packt☆19Oct 28, 2022Updated 3 years ago
- The ultimate AI-powered generator for llms.txt and llms-full.txt files.☆21Jun 18, 2025Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 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.
- Talk on Scala best practices☆13Nov 15, 2019Updated 6 years ago
- (翻译)JavaScript轻量级函数式编程☆14Sep 30, 2019Updated 6 years ago
- 尾递归优化示例☆15May 8, 2018Updated 8 years ago
- An implementation of JSON decoders and encoders inspired by elm/json☆18May 16, 2021Updated 5 years ago
- the easiest way to run wasm-opt☆20Sep 3, 2018Updated 7 years ago
- Elixir rose trees and zippers☆12Jun 14, 2023Updated 3 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 3 years ago
- A sample verifier for a toy language built on top of Boogie☆27Nov 24, 2022Updated 3 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Jun 23, 2026Updated last week
- A simple, intuitive and Efficient single cell binary Data Storage format☆16Oct 10, 2019Updated 6 years ago
- View and interact with GitHub Pull Requests on Backstage☆14Nov 23, 2021Updated 4 years ago
- 🚨 slog: NATS handler☆21Jun 1, 2026Updated last month
- WIP: unison http implementation☆19Feb 17, 2020Updated 6 years ago
- Lazy functional language compiler targeting LLVM.☆29Sep 28, 2011Updated 14 years ago
- 收集最全的资源教程-前端涉及的所有知识体系☆10Nov 16, 2015Updated 10 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Nov 6, 2017Updated 8 years ago
- This is just a sample application with akka http and slick☆14Nov 18, 2018Updated 7 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.
- A Haskell library of GRaph Algorithms and Data Structures☆18Feb 3, 2023Updated 3 years ago
- Exploration of alternative hardware description languages☆28Mar 9, 2018Updated 8 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 4 years ago
- Mnemonics - Bytecode generation for scala☆22Jan 31, 2013Updated 13 years ago
- Cloud Native Samples. Cloud Native 案例大全/《Cloud Native 分布式架构原理与实践》示例 源码☆16Dec 16, 2022Updated 3 years ago
- Mirror of the GHC user's guide for readthedocs.org☆10Nov 29, 2016Updated 9 years ago
- tbdflow is a command-line tool designed to streamline and safeguard your Git workflow for Trunk-Based Development.☆56Updated this week
- Solutions to CIS 194 (Spring 2013)☆12May 29, 2016Updated 10 years ago
- A library and a command line tool for sanely managing go templates, with the ability to share them between client and server.☆19May 20, 2017Updated 9 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.
- Generate and apply diffs between JSON documents.☆39Oct 5, 2022Updated 3 years ago
- A place to collect work on dialectica categories.☆32Jun 20, 2026Updated last week
- Send test commands to a pipe.☆12Jan 18, 2023Updated 3 years ago
- Simple Persian CAPTCHA generator☆11Feb 17, 2025Updated last year
- learn CS books☆11Oct 2, 2017Updated 8 years ago
- Scala REPL with a nice HTML GUI☆49Oct 8, 2010Updated 15 years ago
- Automation for Vs. Bots matches in League of Legends☆12Oct 31, 2021Updated 4 years ago