harpocrates / language-rustLinks
Parser and pretty-printer for the Rust language
☆86Updated 2 years ago
Alternatives and similar repositories for language-rust
Users that are interested in language-rust are comparing it to the libraries listed below
Sorting:
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 7 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Cap'n Proto for Haskell☆95Updated 2 years ago
- git protocol and storage in pure haskell☆66Updated 3 years ago
- Fork of official GHC repository.☆44Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- Toy example of calling Rust from Haskell☆132Updated 10 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 3 weeks ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- TOML file format parser in Haskell☆39Updated 3 years ago
- Use snippets of Rust inline in your Haskell programs☆227Updated 4 years ago
- Generic parser combinators☆88Updated 7 months ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆114Updated 8 months ago
- Cross-compiler from Haskell to Rust, plus parser-haskell.☆78Updated 8 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Haskell Standard Input and Output☆46Updated 7 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- Fast binary serialization in Haskell☆110Updated 9 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated 2 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Yet another Haskell build system.☆115Updated 5 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- Higher-order optimization library☆76Updated 2 years ago
- ASCII-fied arrow notation.☆22Updated last year
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- Filter with effects☆74Updated 8 months ago