gluon-lang / gluon-lang.org
The gluon-lang.org website.
☆12Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for gluon-lang.org
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Language server providing completion for gluon☆51Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 7 years ago
- An immutable singly-linked list, as seen in basically every functional language☆28Updated last year
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 3 years ago
- A double-ended priority queue implemented with an interval heap.☆15Updated 7 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 7 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Libraries for declaring and using type-level values.☆11Updated 5 years ago
- A proof of concept automatic differentiation library for Rust☆23Updated 6 years ago
- PEG parser generator built on top of nom☆69Updated 5 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A golden file testing library for rust☆32Updated this week
- A general-purpose lens library for Rust.☆29Updated 7 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 4 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 6 years ago
- Purely Functional Data Structures in Rust☆41Updated 8 years ago
- A functional reactive stream library for rust☆11Updated 3 years ago
- ☆17Updated 9 years ago
- Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search☆17Updated 6 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 7 years ago
- Scheme Interpreter in Rust☆26Updated 6 years ago
- ☆23Updated 6 years ago