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:
- Elm WebGL morphing particle system☆12Nov 12, 2025Updated 8 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Transactional memory (mostly Intel® TSX) experiments☆14May 3, 2014Updated 12 years ago
- A Low-Impact Internal Latency Measurement Tool for OpenAirInterface☆14Sep 13, 2023Updated 2 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- a project manage tool for Idris☆17Aug 24, 2016Updated 9 years ago
- Provides client functionality for the Protege Desktop application to connect to an OWL Ontology Server.☆16Apr 2, 2018Updated 8 years ago
- Core code for Adanaxis☆16Dec 7, 2020Updated 5 years ago
- ☆18Jun 8, 2021Updated 5 years ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆18Jun 7, 2018Updated 8 years ago
- ☆13Updated this week
- A simple, intuitive and Efficient single cell binary Data Storage format☆16Oct 10, 2019Updated 6 years ago
- WIP: unison http implementation☆19Feb 17, 2020Updated 6 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Apr 19, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Learn dpdk☆18Sep 26, 2021Updated 4 years ago
- 收集使用Clojure/ClojureScript技术栈的中国公司☆10Sep 28, 2021Updated 4 years ago
- Generate and apply diffs between JSON documents.☆39Oct 5, 2022Updated 3 years ago
- Send test commands to a pipe.☆12Jan 18, 2023Updated 3 years ago
- A place to collect work on dialectica categories.☆32Updated this week
- Simple Persian CAPTCHA generator☆11Feb 17, 2025Updated last year
- A well-typed symmetric-monoidal category of concurrent processes☆26Nov 12, 2018Updated 7 years ago
- ☆11Apr 28, 2026Updated 3 months ago
- Nginx SSL/TLS Docker Container☆10Dec 22, 2015Updated 10 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 model serving framework for various research and production scenarios. Seamlessly built upon the PyTorch and HuggingFace ecosystem.☆23Oct 11, 2024Updated last year
- A Haskell native implementation of matrices and their operations.☆35Nov 18, 2023Updated 2 years ago
- Python In Practice Create Better Programs Using Concurrency, Libraries, and Patterns by Mark Summerfield☆10Nov 30, 2015Updated 10 years ago
- ☆37Oct 29, 2021Updated 4 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35May 4, 2018Updated 8 years ago
- Генератор стихов на Prolog☆22Mar 31, 2021Updated 5 years ago
- BTC :1JUhp2T15jPM9Y5r3uWmiyzMbAaRMNdoQg,LTC: LfDZfSaoyGtm8nEmfE4tsz8MtajPXfDAYd☆17Sep 16, 2017Updated 8 years ago
- my slides and demo for beijing elixir meetup 05/16/2020☆18Mar 28, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Emulator of "Electronika MK 61" and "Electronika MK-54" Soviet RPN programmable calculators for Android platform☆26Jun 9, 2026Updated 2 months ago
- Deploy IRC server using Docker☆14Dec 15, 2023Updated 2 years ago
- Formatter for CockroachDB's additions to the Go style guide.☆20Jul 21, 2026Updated 2 weeks ago
- My personal dotfiles☆15Updated this week
- Create Excel files with Haskell☆12Mar 15, 2020Updated 6 years ago
- Introduction to Internet of Things Platforms☆12Jul 28, 2026Updated 2 weeks ago
- deoplete.nvim source for Assembly base by google/EXEgesis☆11Jan 5, 2021Updated 5 years ago