ocharles / blogView external linksLinks
The contents of ocharles.org.uk/blog
☆66Jun 23, 2022Updated 3 years ago
Alternatives and similar repositories for blog
Users that are interested in blog are comparing it to the libraries listed below
Sorting:
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Sep 17, 2016Updated 9 years ago
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Sep 1, 2020Updated 5 years ago
- Build terminal UIs using reflex and brick☆15Jun 27, 2019Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- ☆99Jul 4, 2025Updated 7 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- GLFW-b demo☆23Oct 4, 2018Updated 7 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.☆263Oct 28, 2023Updated 2 years ago
- Pretty printer for Nix .drv files.☆15Mar 30, 2018Updated 7 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 13 years ago
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 2 years ago
- Code and resources from the book ClojureReactiveProgramming☆19Mar 29, 2015Updated 10 years ago
- A Real-Time Rendering framework written in Haskell☆54Jan 12, 2024Updated 2 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Library for tracking system metrics☆42Jan 8, 2026Updated last month
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- (beta) React hooks library☆19May 9, 2024Updated last year
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- API wrapper for Github's API in Haskell with tests☆17Sep 30, 2015Updated 10 years ago
- Basic Solitaire game in PureScript, with both web and terminal UIs☆20Apr 30, 2020Updated 5 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated last month
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- Constraint-based generics☆49Jan 6, 2026Updated last month
- Modern library for working with URIs☆69Feb 3, 2026Updated last week
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated 10 months ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 10 years ago
- Type-safe effectful state machines in Haskell☆96Sep 13, 2020Updated 5 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Feb 3, 2026Updated last week
- Material for the Nix Workshop at Haskell eXchange 2017☆20Aug 8, 2019Updated 6 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 6 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago