idris-lang / Idris2
A purely functional programming language with first class types
☆2,491Updated this week
Related projects: ⓘ
- Koka language compiler and interpreter☆3,241Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,466Updated this week
- A Dependently Typed Functional Programming Language☆3,427Updated last month
- The Flix Programming Language☆2,143Updated this week
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- A modern proof language☆3,539Updated last month
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,977Updated last year
- A Proof-oriented Programming Language☆2,672Updated this week
- Liquid Types For Haskell☆1,181Updated this week
- An introduction to programming language theory in Agda☆1,355Updated this week
- A safe, easy systems language☆1,895Updated last month
- Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.☆2,647Updated last week
- A data-parallel functional programming language☆2,366Updated this week
- A tasty Haskell front-end framework☆2,182Updated 2 months ago
- A modern Prolog implementation written mostly in Rust.☆2,005Updated 2 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,019Updated last year
- Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,811Updated last week
- A dependently-typed programming language with static memory management☆839Updated this week
- Industrial-strength monadic parser combinator library☆910Updated last week
- A collaborative bibliography of work related to the theory and practice of computational effects☆951Updated last month
- Systems language with linear types and capability-based security.☆1,111Updated 2 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,089Updated 11 months ago
- A formatter for Haskell source code☆950Updated this week
- A declarative Unix terminal UI library written in Haskell☆1,597Updated 2 months ago
- The Mercury logic programming system.☆900Updated this week
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,606Updated 2 years ago
- A monadic parser combinator library☆842Updated 4 months ago
- Project: M36 Relational Algebra Engine☆888Updated last week
- A functional programming language based on algebraic effect handlers☆858Updated last week
- A friendly programming language from the future☆5,734Updated this week