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
Sorting:
- ☆13Jan 7, 2026Updated last month
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- `uhttpc` - µHTTP client library☆27May 29, 2019Updated 6 years ago
- Stream processing with a series of tubes.☆14Sep 1, 2016Updated 9 years ago
- Self-Organising Map implementation in Haskell☆24Sep 4, 2022Updated 3 years ago
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 3 months ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 8 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- Haskell geometry library☆17Mar 15, 2020Updated 5 years ago
- Solving UKPassportApplication with Haskell☆20Jun 30, 2025Updated 8 months ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- A Test Framework for Common Lisp in the style of JUnit, designed and implemented with simplicity of use in mind.☆21Dec 5, 2022Updated 3 years ago
- Haskell on-disk B* tree implementation☆116Dec 9, 2021Updated 4 years ago
- Experimental event store database entirely written in Haskell☆31Oct 7, 2017Updated 8 years ago
- Idiomatic Scala wrappers for Joda Time☆44Mar 9, 2017Updated 8 years ago
- scala multi-dimensional arrays with reverse-mode autodifferentiation☆18Nov 10, 2017Updated 8 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Apr 11, 2018Updated 7 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year
- ☆17May 10, 2017Updated 8 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40May 24, 2016Updated 9 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Feb 25, 2017Updated 9 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- Issues and proposals related to the HF Stability Working Group☆28Jan 7, 2026Updated last month
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- A bad XML parser☆22Sep 2, 2024Updated last year
- Haskell library for creating command-line interfaces (colors, menus, etc.)☆22Feb 17, 2025Updated last year
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 7 years ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 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 2 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- Invertible parsing for S-expressions☆34Feb 4, 2026Updated last month
- Example projects to run/develop Common Lisp web application on Docker container☆29Feb 12, 2025Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- ☆26Oct 7, 2016Updated 9 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago