vmchale / jacinda
Functional, expression-oriented data processing language
☆87Updated 2 weeks ago
Alternatives and similar repositories for jacinda:
Users that are interested in jacinda are comparing it to the libraries listed below
- A structural editor for JSON values☆77Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- ☆41Updated last year
- A structured concurrency library☆86Updated last week
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Haskell embedding of PlusCal☆61Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Run dyalog APL and RIDE on nixos☆21Updated 9 months ago
- ☆84Updated last month
- Example uses of linear types☆43Updated 4 years ago
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 3 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- Oleg Kiselyov's zipper-based file-server/OS☆24Updated 4 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Apple array system☆66Updated this week
- Functional choreographic programming in Haskell☆91Updated 3 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- coverage driven random testing framework☆23Updated 4 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last month
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 5 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆91Updated 6 months ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- ☆47Updated 7 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- ️🌈 Convenient interface for printing colourful messages☆66Updated last week
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 2 months ago