kwanghoon / polyrpc
PolyRPC, A multi-tier functional programming language
☆20Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for polyrpc
- Existential type.☆36Updated 5 months ago
- Dependent hash maps☆14Updated 5 months ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- ☆18Updated 3 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- Deep evaluation of data structures☆41Updated 2 months ago
- ☆15Updated 2 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Session types in Idris2!☆27Updated 3 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 3 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated last week
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated 9 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 4 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- Linear map categories in Agda☆5Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 5 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Session Types with Priority in Linear Haskell☆25Updated 4 months ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago