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 3 months ago
- Solving UKPassportApplication with Haskell☆21Jun 30, 2025Updated 10 months ago
- 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☆28Apr 13, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Apr 10, 2024Updated 2 years ago
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 5 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
- Instances for QuickCheck classes☆17Apr 16, 2026Updated 2 weeks ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆15Apr 25, 2026Updated last week
- Instruments code for collecting data coverage (instead of code coverage)☆10May 5, 2017Updated 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
- 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.
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated 2 years ago
- Haskell on-disk B* tree implementation☆116Dec 9, 2021Updated 4 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Example project of an academic paper using the ACM SIG Proceedings template☆18Feb 24, 2019Updated 7 years ago
- ☆19Apr 26, 2026Updated last week
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40May 24, 2016Updated 9 years ago
- Prune is a constraint logic programming language with branching heuristic.☆35Apr 26, 2026Updated last week
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 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.
- const fn implementation of the SHA-2 family of hash functions☆19Apr 2, 2026Updated last month
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Jul 25, 2023Updated 2 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 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
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Pluggable, open-source audio scrobbler, for crustaceans.☆13Feb 9, 2026Updated 2 months ago
- 📚 A collection of resources about normalization-by-evaluation☆29Jul 29, 2025Updated 9 months ago
- Constraint Satisfaction Problem (CSP) Solver☆35Jan 4, 2026Updated 4 months ago
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- Intocode interpreter for Advent of Code 2019☆10Oct 21, 2025Updated 6 months ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 8 years ago
- Haskell implementation of the XXHash algorithm☆16Dec 3, 2025Updated 5 months ago