abailly / xxi-century-typedView external linksLinks
Support code for talk 'XXIst century shall be typed or not be'
☆15Oct 21, 2022Updated 3 years ago
Alternatives and similar repositories for xxi-century-typed
Users that are interested in xxi-century-typed are comparing it to the libraries listed below
Sorting:
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- ☆12May 9, 2015Updated 10 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated 11 months ago
- A collection of techniques used in Haskell that are worth remembering.☆17Aug 30, 2010Updated 15 years ago
- Manage CloudFormation Stacks through specifications☆13Dec 15, 2025Updated 2 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- The nice-looking GUI for your generative art. With the support of detaching. Written in Elm. https://package.elm-lang.org/packages/shaman…☆11Feb 27, 2024Updated last year
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Automatically detect and load your .envrc☆18Jan 7, 2022Updated 4 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 2 months ago
- Useful, efficient, precise binary schema modelling in Haskell☆15Aug 18, 2025Updated 5 months ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 5 years ago
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- The https://ghc.dev Website Generator☆21Oct 22, 2024Updated last year
- ☆22Jan 12, 2026Updated last month
- Simple Nix derivations to bundle executables☆43Sep 27, 2024Updated last year
- Shackled within an elaborate prison of my own design.☆39Nov 14, 2023Updated 2 years ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Finite domain constraint solver in Haskell☆20Oct 2, 2021Updated 4 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 9 years ago
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 5 years ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 5 months ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Dec 15, 2025Updated 2 months ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago