lang-talk / meetups
A community around PL at Prague.
☆18Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for meetups
- Bidirectional Parsing. Work in Progress☆30Updated last month
- Show Haskell type annotations when doing code review on Github☆142Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated 3 months ago
- GRIN backend for GHC☆143Updated 3 years ago
- Convert values from one type into another.☆75Updated 2 weeks ago
- Fast parsing from bytestrings☆149Updated last week
- A tool to make solving type errors in Haskell simple and fun.☆36Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆50Updated last week
- bollu learns implementation of dependent typing☆25Updated last year
- ☆89Updated 3 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆98Updated this week
- Quick explanation of eliminating left recursion in Haskell parsers☆44Updated 3 years ago
- ☆40Updated last year
- Maintenance of the pointfree Hackage package.☆145Updated last month
- A small logic programming language.☆15Updated 6 months ago
- A structural editor for JSON values☆78Updated 2 years ago
- Haskell bindings for the Souffle datalog language☆103Updated 6 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆44Updated 2 years ago
- being an operating system for typechecking processes☆121Updated last year
- A pure type system implemented in OCaml☆77Updated 3 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆66Updated this week
- ☆89Updated 3 years ago
- 🏝 Bidirectional TOML serialization☆122Updated 5 months ago
- A web site for converting haskell code into pointfree haskell code☆162Updated last year
- Build system☆122Updated last year
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)☆38Updated 2 weeks ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- A re-implementation of weeder using HIE files☆169Updated 2 weeks ago
- Haskell QuasiQuoter for String Formatting☆66Updated 6 months ago