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
Sorting:
- Fork of official GHC repository.☆44Updated last year
- Toy example of calling Rust from Haskell☆130Updated 9 years ago
- Use snippets of Rust inline in your Haskell programs☆226Updated 3 years ago
- Cap'n Proto for Haskell☆96Updated last year
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 4 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Haskell 98 comonads☆78Updated 2 months ago
- This package provides various primitive memory-related operations.☆117Updated last month
- Higher-kinded data via generics☆170Updated 8 months ago
- A class for types that can be converted to a hash value☆104Updated 2 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead☆99Updated 6 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Generic parser combinators☆87Updated 2 months ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Fast binary serialization in Haskell☆110Updated 4 months ago
- Compact regions library for Haskell☆82Updated 10 months ago
- Alternative API for processes, featuring more type safety☆111Updated last month
- Strongly typed routes for Rust☆36Updated 3 years ago
- Haskell library for debugging☆122Updated 5 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A package manager for Idris☆188Updated 4 years ago
- Yet another Haskell build system.☆115Updated 4 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆197Updated last year
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- ☆79Updated 9 months ago