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:
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 7 years ago
- git protocol and storage in pure haskell☆66Updated 3 years ago
- Fork of official GHC repository.☆44Updated last year
- Cap'n Proto for Haskell☆95Updated 2 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Toy example of calling Rust from Haskell☆132Updated 10 years ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Use snippets of Rust inline in your Haskell programs☆227Updated 4 years ago
- Fast binary serialization in Haskell☆110Updated 8 months ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated this week
- ASCII-fied arrow notation.☆22Updated last year
- A Haskell binding to the POSIX sockets API☆47Updated 3 years ago
- Haskell Standard Input and Output☆46Updated 7 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated 2 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- TOML file format parser in Haskell☆39Updated 3 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- Generic Programming using True Sums of Products☆162Updated last month
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 6 years ago
- Yet another Haskell build system.☆115Updated 5 years ago
- A monad, perhaps.☆32Updated 5 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆131Updated 3 years ago