baig / rust-dialect
A terse syntactic dialect of Rust à la Haskell
☆17Updated 6 months ago
Alternatives and similar repositories for rust-dialect:
Users that are interested in rust-dialect are comparing it to the libraries listed below
- Use snippets of Rust inline in your Haskell programs☆226Updated 3 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- A package manager for Idris☆188Updated 4 years ago
- Format strings type-safely with combinators☆166Updated 11 months ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆102Updated this week
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆79Updated 3 weeks ago
- High performance type safe html generation☆127Updated 2 years ago
- Higher-kinded data via generics☆170Updated 6 months ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Updated 7 years ago
- Fast and concise extensible effects☆107Updated last year
- Handy macro to generate C-FFI bindings to Rust for Haskell☆68Updated this week
- Template Haskell utilities for Hasql☆112Updated last month
- Cap'n Proto for Haskell☆94Updated last year
- Documentation for Concur☆65Updated 8 months ago
- This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead☆98Updated 5 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- Visualize live Haskell data structures in GHCi☆136Updated 10 months ago
- A higher-order effect system where the sky's the limit☆91Updated 2 years ago
- Haskell WebAssembly Toolkit☆152Updated last month
- Browse Hackage from the terminal☆94Updated 2 months ago
- Nix expressions for cross compiling to WebAssembly☆141Updated 4 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆104Updated 6 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Refinement types with static checking☆186Updated 2 months ago
- Efficient hashing-based container types☆220Updated 9 months ago
- Measure allocations of a Haskell functions/values☆93Updated 3 months ago
- A purely functional programming language with first class types☆57Updated this week
- Yet another test framework for Haskell.☆67Updated this week
- constraint level if statements☆111Updated 7 years ago