ashtadhyayi-com / data-edit
Place for editing the data backing ashtadhyayi.com
☆10Updated last week
Related projects ⓘ
Alternatives and complementary repositories for data-edit
- Data powering ashtadhyayi.com☆42Updated this week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆83Updated this week
- A work-in-progress core language for Agda, in Agda☆41Updated 3 weeks ago
- Automatically generate Haskell bindings from C header files☆21Updated this week
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- A guided workshop through implementing the realworld demo app in obelisk.☆14Updated 4 years ago
- Competitive programming utilities in Haskell☆27Updated last month
- Reimplementation of Parsley in Haskell, with improvements☆50Updated 8 months ago
- Compiling Agda code to readable Haskell☆177Updated last month
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆38Updated this week
- ☆8Updated last year
- ☆38Updated 6 months ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆76Updated 7 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆102Updated 3 weeks ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 5 years ago
- Formal Topology in Univalent Foundations (WIP).☆35Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Updated last year
- ☆10Updated last week
- Lecture notes on realizability☆65Updated last month
- Effects libraries in Haskell☆72Updated last year
- Staged push/pull fusion with typed Template Haskell☆57Updated 11 months ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Updated last week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆30Updated last month
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated 3 weeks ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 4 years ago
- ☆95Updated this week
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆15Updated 11 months ago