mmhelloworld / idris-jvm
JVM bytecode back end for Idris
☆472Updated 3 weeks ago
Alternatives and similar repositories for idris-jvm:
Users that are interested in idris-jvm are comparing it to the libraries listed below
- Haskell/Java interop via inline Java code in Haskell modules.☆231Updated last year
- A prototype successor to Idris☆539Updated 5 years ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆531Updated 3 years ago
- Generalized bananas, lenses and barbed wire☆345Updated 3 months ago
- 📖 source material for Thinking with Types☆484Updated 2 years ago
- Software Foundations in Idris☆455Updated 5 years ago
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- A fast, flexible, fused effect system for Haskell☆653Updated 2 months ago
- higher-order, no-boilerplate monads☆1,042Updated 2 weeks ago
- Release with confidence, state-of-the-art property testing for Haskell.☆683Updated 2 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆608Updated last month
- Networks of composable stream transducers☆338Updated last month
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- Haskell papers optimized for my e-reader.☆269Updated 8 years ago
- Parser combinators for Idris☆240Updated 5 years ago
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- Idris for Visual Studio Code☆106Updated 2 years ago
- Cloud Haskell core libraries☆724Updated 3 weeks ago
- Generically derive traversals, lenses, and prisms.☆441Updated 3 months ago
- GUI framework that uses the web browser as a display.☆456Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated last year
- A talk on using recursion schemes in FP.☆217Updated last year
- Library for functional reactive programming in Haskell.☆528Updated 3 months ago
- Add ACID guarantees to any serializable Haskell data structure☆299Updated 2 weeks ago
- A type-safe, high-level SQL library for Haskell☆478Updated 9 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- A friendly effect system for Haskell☆231Updated 10 months ago
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago