mmhelloworld / idris-jvm
JVM bytecode back end for Idris
☆472Updated last month
Alternatives and similar repositories for idris-jvm:
Users that are interested in idris-jvm are comparing it to the libraries listed below
- A prototype successor to Idris☆540Updated 5 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆231Updated last year
- 📖 source material for Thinking with Types☆485Updated 2 years ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆532Updated 3 years ago
- Cloud Haskell core libraries☆728Updated last month
- Demo for high-performance type theory elaboration☆541Updated last year
- Networks of composable stream transducers☆338Updated last month
- A fast, flexible, fused effect system for Haskell☆655Updated last week
- ☆610Updated last month
- Idris for Visual Studio Code☆106Updated 2 years ago
- Software Foundations in Idris☆455Updated 5 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- GUI framework that uses the web browser as a display.☆472Updated last month
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆610Updated 3 weeks ago
- higher-order, no-boilerplate monads☆1,047Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated last year
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- Add ACID guarantees to any serializable Haskell data structure☆302Updated last month
- A type-safe, high-level SQL library for Haskell☆478Updated 10 months ago
- A talk on using recursion schemes in FP.☆217Updated last year
- Parser combinators for Idris☆242Updated 6 years ago
- Compiling to Categories☆449Updated last year
- A friendly effect system for Haskell☆231Updated 11 months ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- Optics as an abstract interface☆384Updated last week
- A sensible starting Prelude template.☆402Updated 11 months ago
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆459Updated 2 months ago