harpocrates / language-rustLinks
Parser and pretty-printer for the Rust language
☆86Updated last year
Alternatives and similar repositories for language-rust
Users that are interested in language-rust are comparing it to the libraries listed below
Sorting:
- Cap'n Proto for Haskell☆96Updated last year
- Use snippets of Rust inline in your Haskell programs☆226Updated 4 years ago
- Toy example of calling Rust from Haskell☆131Updated 10 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- Fork of official GHC repository.☆44Updated last year
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Strongly typed routes for Rust☆36Updated 3 years ago
- TParsec - Total Parser Combinators in Idris☆95Updated last year
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆112Updated 6 years ago
- git protocol and storage in pure haskell☆66Updated 3 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- A native HTTP2 client in Haskell☆43Updated last month
- A package manager for Idris☆187Updated 4 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 4 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Filter with effects☆74Updated 5 months ago
- Haskell library for simple, concise and fast generic operations.☆81Updated last year
- Higher-kinded data via generics☆170Updated 10 months ago
- Yet another Haskell build system.☆115Updated 4 years ago
- A test framework for Idris☆54Updated 6 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆107Updated 6 years ago
- ☆75Updated 3 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- This package provides various primitive memory-related operations.☆117Updated 2 months ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Generic parser combinators☆87Updated 3 months ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Haskell 98 comonads☆77Updated 3 months ago