bolt12 / nix-hs-templateView external linksLinks
Haskell + Nix project setup Cookiecutter template
☆11Feb 19, 2021Updated 4 years ago
Alternatives and similar repositories for nix-hs-template
Users that are interested in nix-hs-template are comparing it to the libraries listed below
Sorting:
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- ☆14Oct 4, 2021Updated 4 years ago
- haskell project using nix☆17Jan 3, 2021Updated 5 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- Selective Functors & Probabilistic Programming☆22Jun 17, 2021Updated 4 years ago
- Notes on Functional Programming and related topics☆30Jun 9, 2022Updated 3 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆72May 30, 2023Updated 2 years ago
- An automatic declarative ASCIInema recorder☆46Dec 3, 2025Updated 2 months ago
- ☆17May 8, 2014Updated 11 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 3 years ago
- Java wrapper for the ZIO scala library☆11Mar 31, 2021Updated 4 years ago
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆16Updated this week
- MagicScript Components renderer for ARKit and ARCore☆16Jan 24, 2026Updated 3 weeks ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Clojure Hardware Description Language (compiles down to vhdl)☆17Nov 27, 2013Updated 12 years ago
- ☆15Aug 24, 2025Updated 5 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- efficient tools for LiDAR processing☆13Mar 19, 2020Updated 5 years ago
- An experimental text editor using freetype2 and OpenGL. Written in Haskell.☆12Jan 23, 2014Updated 12 years ago
- A lazy and untyped experimental programming language☆10Jul 8, 2018Updated 7 years ago
- ☆12Jan 7, 2021Updated 5 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Jan 2, 2022Updated 4 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 6 months ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆107Jun 5, 2023Updated 2 years ago
- the long awaited secret source of the university request detection API worker☆11Dec 20, 2020Updated 5 years ago
- Working illustration of the Capability Design Pattern☆12Feb 1, 2021Updated 5 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- purerl bindings to basic Erlang process functionality☆13Aug 31, 2022Updated 3 years ago
- ⚛️ 📱 The quickest way to utilize web dependencies inside React Native.☆13Oct 22, 2020Updated 5 years ago
- ☆11Sep 9, 2021Updated 4 years ago
- A build tool/package manager for C, configured with Dhall☆67Nov 6, 2023Updated 2 years ago
- Interactive "arcade-like" football simulation engine.☆12Jul 20, 2022Updated 3 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Dec 8, 2020Updated 5 years ago
- ☆10Apr 30, 2020Updated 5 years ago
- Simple example of using JDBC from Eta language☆10Jan 14, 2017Updated 9 years ago