harpocrates / language-rustLinks
Parser and pretty-printer for the Rust language
☆87Updated 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
- Fork of official GHC repository.☆44Updated last year
- Cap'n Proto for Haskell☆95Updated 2 years ago
- git protocol and storage in pure haskell☆66Updated 3 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Use snippets of Rust inline in your Haskell programs☆227Updated 4 years ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- Cross-compiler from Haskell to Rust, plus parser-haskell.☆78Updated 8 years ago
- Toy example of calling Rust from Haskell☆132Updated 10 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated last month
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- More strongly typed variant of the ixset Haskell package☆26Updated 2 months ago
- A native HTTP2 client in Haskell☆43Updated 5 months ago
- Haskell Standard Input and Output☆46Updated 7 years ago
- Yet another Haskell build system.☆115Updated 5 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- ☆79Updated last year
- Map lazy functional language constructs to LLVM IR☆50Updated 6 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated last month
- A class for types that can be converted to a hash value☆105Updated last month
- A package manager for Idris☆186Updated 5 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆132Updated 3 years ago