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
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- Cap'n Proto for Haskell☆94Updated last year
- Fork of official GHC repository.☆44Updated last year
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Toy example of calling Rust from Haskell☆131Updated 9 years ago
- This package provides various primitive memory-related operations.☆115Updated 3 months ago
- A plugin for solving numeric constraints in GHC's type-checker☆50Updated 3 years ago
- Use snippets of Rust inline in your Haskell programs☆226Updated 3 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 3 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Yet another Haskell build system.☆115Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Efficient library for manipulating zip archives☆81Updated 3 weeks ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 5 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Compact regions library for Haskell☆82Updated 7 months ago
- Generic Programming using True Sums of Products☆161Updated last month
- Higher-kinded data via generics☆170Updated 6 months ago
- Filter with effects☆73Updated last month
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago
- Safe, consistent, and easy exception handling☆135Updated last year
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago
- This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead☆98Updated 5 years ago
- Unified Haskell interface for basic file system notifications☆139Updated this week
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆30Updated 4 years ago
- Haskell 98 comonads☆77Updated 2 months ago
- Haskell library for debugging☆122Updated 5 years ago
- A micro-benchmark that compares some Haskell serialization libraries☆44Updated 5 years ago