granule
Linear language
A statically-typed functional programming language with fine-grained program reasoning capabilities
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
593 stars
32 watching
35 forks
Language: Haskell
last commit: 3 months ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,031 |
 graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell | An in-depth exploration of a Haskell approach to building real-world software, focusing on its benefits and applications. | 155 |
 pikatchu/linearml | A programming language designed to write efficient parallel programs using functional principles. | 432 |
 reedoei/enki | A beginner-focused logic programming language built on top of Haskell. | 8 |
 finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
 eholk/harlan | A Scheme-based language for programming GPUs. | 1,183 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 axellang/axel | A Haskell + Lisp compiler and runtime environment for executing multi-language code. | 206 |
 commercialhaskell/rio | A standard library for Haskell to provide a common foundation for production software development | 846 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 graalvm/simplelanguage | A demonstration of building a Truffle language for execution on the GraalVM runtime environment. | 614 |
 fjvallarino/monomer | A cross-platform GUI library for writing native Haskell applications | 598 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |
 superstar64/aith | A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions. | 64 |