agentm / project-m36
Project: M36 Relational Algebra Engine
☆929Updated this week
Alternatives and similar repositories for project-m36:
Users that are interested in project-m36 are comparing it to the libraries listed below
- Liquid Types For Haskell☆1,238Updated this week
- Industrial-strength monadic parser combinator library☆941Updated 3 months ago
- Shell programming, Haskell style☆954Updated 11 months ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- A standard library for Haskell☆854Updated 9 months ago
- higher-order, no-boilerplate monads☆1,050Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated 2 years ago
- Release with confidence, state-of-the-art property testing for Haskell.☆686Updated last month
- ☆610Updated 2 months ago
- Algebraic graphs☆738Updated 11 months ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,091Updated last month
- A prototype successor to Idris☆540Updated 5 years ago
- Functional programming with fewer indirections☆762Updated 4 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,262Updated last year
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated 2 years ago
- A List of Foundational Haskell Papers☆865Updated 6 months ago
- A type-safe, high-level SQL library for Haskell☆478Updated 11 months ago
- Very low feature GHCi based IDE☆1,155Updated last year
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆712Updated last week
- A fast, flexible, fused effect system for Haskell☆655Updated last week
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- A type-safe, non-TH Haskell SQL library and ORM☆596Updated this week
- Modern and extensible testing framework for Haskell☆649Updated last month
- Nix and Haskell in production☆1,156Updated last year
- A streaming data library☆915Updated last month
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆696Updated last week
- Empire strikes back☆464Updated last year
- A little course to learn about some of the more obscure GHC extensions.☆649Updated last year