frasertweedale / hs-fresnelView external linksLinks
Prism-based parsers and pretty printers
☆17Jan 1, 2018Updated 8 years ago
Alternatives and similar repositories for hs-fresnel
Users that are interested in hs-fresnel are comparing it to the libraries listed below
Sorting:
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 11 years ago
- Linear time composable parser for PEG grammars☆11Dec 2, 2023Updated 2 years ago
- ☆18Jul 24, 2025Updated 6 months ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- ☆23Oct 15, 2023Updated 2 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 6 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆13Feb 28, 2021Updated 4 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- ghc --make reimplemented with Shake☆32Sep 29, 2023Updated 2 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Sep 17, 2017Updated 8 years ago
- Skeleton project that builds with any of the three major build tools.☆15Dec 4, 2016Updated 9 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14May 15, 2017Updated 8 years ago
- An attoparsec roundtrip☆19Apr 23, 2020Updated 5 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated this week
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆44Oct 19, 2019Updated 6 years ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Apr 17, 2016Updated 9 years ago