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
- Fork of official GHC repository.☆44Updated last year
- Cap'n Proto for Haskell☆95Updated 2 years ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- git protocol and storage in pure haskell☆67Updated 4 years ago
- Use snippets of Rust inline in your Haskell programs☆226Updated 4 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 8 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 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
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 4 months 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
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- Haskell Standard Input and Output☆46Updated 7 years ago
- This package provides various primitive memory-related operations.☆121Updated 2 weeks ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated 2 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- A Haskell binding to the POSIX sockets API☆47Updated 3 years ago
- Filter with effects☆74Updated last year
- A class for types that can be converted to a hash value☆105Updated last week
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- ☆78Updated this week
- A plugin for solving numeric constraints in GHC's type-checker☆51Updated 4 years ago
- A monad for interfacing with external SAT solvers☆65Updated 6 months ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- A monad, perhaps.☆32Updated 5 years ago