☆15Dec 16, 2018Updated 7 years ago
Alternatives and similar repositories for yi-config
Users that are interested in yi-config are comparing it to the libraries listed below
Sorting:
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Feb 21, 2016Updated 10 years ago
- A shallow embedding of the OpenGL Shading Language in Haskell☆14Jun 18, 2018Updated 7 years ago
- A programming language with infinite arrays☆32Jan 21, 2020Updated 6 years ago
- Tiling window manager for wayland☆16Sep 1, 2016Updated 9 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Jul 23, 2016Updated 9 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- ☆20Jan 16, 2025Updated last year
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Oct 20, 2018Updated 7 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Sep 21, 2018Updated 7 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 years ago
- ☆33Mar 19, 2015Updated 10 years ago
- Numerical computation in native Haskell☆94Jan 16, 2026Updated last month
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 7 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- ☆27Mar 13, 2019Updated 6 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Mar 18, 2015Updated 10 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Sep 15, 2018Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- The Haskell File System: A file system implementation in Haskell☆38May 9, 2015Updated 10 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- spmd-on-simd stuff☆27Aug 5, 2017Updated 8 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- Generate Haskell code from a type☆146Feb 21, 2025Updated last year
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Library and macros to simplify writing Haskell FFI code☆40Dec 4, 2022Updated 3 years ago