idris-lang / Idris2Links
A purely functional programming language with first class types
☆2,664Updated this week
Alternatives and similar repositories for Idris2
Users that are interested in Idris2 are comparing it to the libraries listed below
Sorting:
- Koka language compiler and interpreter☆3,507Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,645Updated this week
- A Dependently Typed Functional Programming Language☆3,456Updated 3 months ago
- A programming language with static memory management based on λ-calculus☆1,003Updated this week
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- The Flix Programming Language☆2,286Updated this week
- A modern proof language☆3,676Updated 4 months ago
- Liquid Types For Haskell☆1,241Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,042Updated 2 years ago
- A friendly programming language from the future☆6,030Updated this week
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,966Updated 2 years ago
- A modern Prolog implementation written mostly in Rust.☆2,235Updated this week
- A functional programming language based on algebraic effect handlers☆872Updated 8 months ago
- A safe, easy systems language☆2,057Updated this week
- An introduction to programming language theory in Agda☆1,426Updated last week
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,622Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,318Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆927Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,046Updated last month
- Maintainable configuration files☆4,319Updated last month
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,882Updated last week
- Industrial-strength monadic parser combinator library☆944Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- Programming Languages Zoo☆1,497Updated 11 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,173Updated last year
- A Proof-oriented Programming Language☆2,845Updated this week
- A formatter for Haskell source code☆996Updated 2 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆617Updated 3 weeks ago
- A prototype successor to Idris☆540Updated 5 years ago
- A data-parallel functional programming language☆2,527Updated this week