NES programming in Haskell? No way!
☆39Dec 2, 2015Updated 10 years ago
Alternatives and similar repositories for neskell
Users that are interested in neskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 7, 2026Updated 5 months ago
- Solving UKPassportApplication with Haskell☆22Jun 30, 2025Updated last year
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- Stream processing with a series of tubes.☆14Sep 1, 2016Updated 9 years ago
- Issues and proposals related to the HF Stability Working Group☆29May 25, 2026Updated last month
- 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.
- ☆10Apr 10, 2024Updated 2 years ago
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 7 months ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 3 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- The official j-- base compiler☆13May 4, 2025Updated last year
- Safely update your NPM dependencies using TravisCI cron jobs☆18Feb 25, 2021Updated 5 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 8 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆38Jun 23, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated 2 years ago
- Haskell on-disk B* tree implementation☆115Dec 9, 2021Updated 4 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- ☆21Jun 17, 2026Updated 2 weeks ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆41May 24, 2016Updated 10 years ago
- Prune is a constraint logic programming language with branching heuristic.☆38Jun 11, 2026Updated 3 weeks ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 9 years ago
- const fn implementation of the SHA-2 family of hash functions☆20Apr 2, 2026Updated 3 months ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Jul 25, 2023Updated 2 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.
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 6 years ago
- scala multi-dimensional arrays with reverse-mode autodifferentiation☆18Nov 10, 2017Updated 8 years ago
- Idiomatic Scala wrappers for Joda Time☆44Mar 9, 2017Updated 9 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 9 years ago
- Self-Organising Map implementation in Haskell☆24Sep 4, 2022Updated 3 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 3 years ago
- GHC + Cabal docker image☆12Feb 1, 2022Updated 4 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 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.
- Pluggable, open-source audio scrobbler, for crustaceans.☆13Updated this week
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated 11 months ago
- Constraint Satisfaction Problem (CSP) Solver☆38Jan 4, 2026Updated 6 months ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 8 years ago
- Intocode interpreter for Advent of Code 2019☆10Oct 21, 2025Updated 8 months ago
- Haskell implementation of the XXHash algorithm☆16Dec 3, 2025Updated 7 months ago
- A Test Framework for Common Lisp in the style of JUnit, designed and implemented with simplicity of use in mind.☆22Dec 5, 2022Updated 3 years ago