jvanbruegge / MegarecordView external linksLinks
My experiment about implementing Row Polymorphism in current Haskell
☆16Dec 9, 2018Updated 7 years ago
Alternatives and similar repositories for Megarecord
Users that are interested in Megarecord are comparing it to the libraries listed below
Sorting:
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- A functional utility library for ES2015+ and TypeScript☆21Oct 7, 2017Updated 8 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Dec 22, 2017Updated 8 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Experimental continuous Behaviors for most.js☆32Dec 30, 2019Updated 6 years ago
- ☆26Jan 7, 2026Updated last month
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- Simple LaTeX☆17Apr 26, 2024Updated last year
- What would TEA look like if we had no VDOM?☆69Jan 21, 2019Updated 7 years ago
- Tiling window manager for wayland☆16Sep 1, 2016Updated 9 years ago
- Well-typed curry implementations☆16Jan 7, 2017Updated 9 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Experimenting with push/pull FRP☆20Jan 19, 2016Updated 10 years ago
- TemplateHaskell functions to generate types and converter function.☆18Nov 25, 2025Updated 2 months ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- A stream library for purescript☆16Mar 21, 2017Updated 8 years ago
- Audio graph driver for Cycle.js based on virtual-audio-graph☆19Apr 10, 2022Updated 3 years ago
- Run HLint as part of normal compilation☆47Aug 11, 2018Updated 7 years ago
- :fork command for ghci☆21Jan 7, 2019Updated 7 years ago
- Pipe the GHC eventlog stream to a UNIX domain socket☆22Jan 26, 2026Updated 3 weeks ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language☆19Oct 25, 2018Updated 7 years ago
- Monadic Assertions library☆21Mar 3, 2017Updated 8 years ago
- RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.☆52Jul 2, 2018Updated 7 years ago
- 🚁 circular reactive programming with algebraic effects and composable interpreters☆28Updated this week
- Standalone library for disposables from RxJS☆27Feb 14, 2016Updated 10 years ago
- ☆23May 29, 2023Updated 2 years ago
- Emits code crossreference data for Haskell sources.☆102Feb 14, 2025Updated last year
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Jan 12, 2025Updated last year
- Algebraic Graphs in Scala☆27Aug 13, 2021Updated 4 years ago
- Tasty meal of Dhall☆67Aug 16, 2023Updated 2 years ago
- Generate Elm types, encoders, and decoders from Haskell types☆63Aug 7, 2024Updated last year
- An npm scripts boilerplate for Cycle.js apps.☆20Jul 25, 2017Updated 8 years ago
- Slides and exercises for an STM "course" series☆30Jun 10, 2020Updated 5 years ago