idris-lang / Idris2
A purely functional programming language with first class types
☆2,528Updated last week
Related projects ⓘ
Alternatives and complementary repositories for Idris2
- Koka language compiler and interpreter☆3,314Updated 2 weeks ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,514Updated this week
- A Dependently Typed Functional Programming Language☆3,436Updated 3 months ago
- The Flix Programming Language☆2,175Updated this week
- A modern proof language☆3,581Updated this week
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,974Updated 2 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- A functional programming language with static memory management☆841Updated this week
- Liquid Types For Haskell☆1,196Updated this week
- An introduction to programming language theory in Agda☆1,372Updated this week
- A Proof-oriented Programming Language☆2,697Updated last week
- A safe, easy systems language☆1,908Updated last week
- Systems language with linear types and capability-based security.☆1,123Updated 4 months ago
- A friendly programming language from the future☆5,807Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- A modern Prolog implementation written mostly in Rust.☆2,062Updated this week
- A tasty Haskell front-end framework☆2,193Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- A data-parallel functional programming language☆2,407Updated this week
- Industrial-strength monadic parser combinator library☆919Updated last month
- Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.☆2,717Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,827Updated last month
- A functional programming language based on algebraic effect handlers☆863Updated 2 months ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,607Updated 2 years ago
- A formatter for Haskell source code☆964Updated last week
- The Mercury logic programming system.☆907Updated this week
- Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). F…☆3,056Updated this week
- Factor programming language☆1,650Updated this week