vmchale / jacinda
Functional, expression-oriented data processing language
☆87Updated last month
Alternatives and similar repositories for jacinda:
Users that are interested in jacinda are comparing it to the libraries listed below
- ☆41Updated last year
- Fast equality saturation in Haskell☆84Updated last month
- A structural editor for JSON values☆77Updated 2 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆24Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆91Updated 7 months ago
- ️🌈 Convenient interface for printing colourful messages☆66Updated this week
- A structured concurrency library☆86Updated 3 weeks ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 3 weeks ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Example uses of linear types☆43Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- All the Transient libraries☆40Updated 2 weeks ago
- ☆90Updated this week
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last month
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Effects libraries in Haskell☆71Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated last week
- Automatic type class law checking.☆24Updated 2 months ago
- Tasty meal of Dhall☆66Updated last year
- Run dyalog APL and RIDE on nixos☆21Updated 10 months ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- Haskell embedding of PlusCal☆61Updated 2 years ago