harpocrates / language-rust
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
- Cap'n Proto for Haskell☆95Updated last year
- Drafts, notes and resources for adding linear typing to GHC.☆76Updated 4 years ago
- Toy example of calling Rust from Haskell☆130Updated 9 years ago
- Fork of official GHC repository.☆44Updated last year
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 3 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Use snippets of Rust inline in your Haskell programs☆226Updated 3 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- Strongly typed routes for Rust☆35Updated 3 years ago
- ☆74Updated 3 weeks ago
- Higher-kinded data via generics☆170Updated 7 months ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- A package manager for Idris☆188Updated 4 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Safe, consistent, and easy exception handling☆135Updated last year
- This package provides various primitive memory-related operations.☆115Updated 4 months ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Efficient library for manipulating zip archives☆81Updated this week
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆110Updated last month
- Algebraic structure and emulation of higher kinded types for Rust☆106Updated 6 years ago
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆105Updated 6 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆50Updated 3 years ago
- A Haskell implementation of the Jinja template language.☆78Updated 3 months ago
- Fast binary serialization in Haskell☆110Updated 3 months ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated 10 months ago