vmchale / jacindaLinks
Functional, expression-oriented data processing language
☆88Updated 2 weeks ago
Alternatives and similar repositories for jacinda
Users that are interested in jacinda are comparing it to the libraries listed below
Sorting:
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- ☆41Updated last year
- A structured concurrency library☆86Updated 3 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated this week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 3 months ago
- Oleg Kiselyov's zipper-based file-server/OS☆25Updated 5 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last month
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Text generation language☆34Updated last week
- A structural editor for JSON values☆77Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- Optics via the profunctor representation theorem☆24Updated 5 months ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Terminal Emulator written in 100% Haskell☆67Updated 3 years ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated this week
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- coverage driven random testing framework☆23Updated 6 months ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Haskell QuasiQuoter for String Formatting☆69Updated 4 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 3 months ago
- Stroll: an experimental build system☆40Updated 2 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- A tool suite to aid Haskell development using `cabal-install`☆86Updated last week
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- ️🌈 Convenient interface for printing colourful messages☆68Updated 3 weeks ago