vmchale / jacindaLinks
Functional, expression-oriented data processing language
☆89Updated last month
Alternatives and similar repositories for jacinda
Users that are interested in jacinda are comparing it to the libraries listed below
Sorting:
- high-powered optics in a small package☆53Updated 8 months ago
- A structural editor for JSON values☆77Updated 2 years ago
- ☆41Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 4 months ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last week
- A structured concurrency library☆85Updated 3 months ago
- ️🌈 Convenient interface for printing colourful messages☆69Updated last month
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Effects libraries in Haskell☆71Updated last year
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Tasty meal of Dhall☆66Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated 3 weeks ago
- Text generation language☆34Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- A tool to make solving type errors in Haskell simple and fun.☆37Updated 2 years ago
- A haskell tutorial using CodeWorld☆19Updated 5 months ago
- Source material for Certainty by Construction☆43Updated last year
- Oleg Kiselyov's zipper-based file-server/OS☆25Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- All the Transient libraries☆40Updated 2 months ago
- Haskell QuasiQuoter for String Formatting☆69Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Optics via the profunctor representation theorem☆24Updated 6 months ago
- ♾️ Sized list☆46Updated last year
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago