stefan-hoeck / idris2-pack
☆98Updated last week
Related projects: ⓘ
- Language Server for Idris2☆160Updated this week
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆72Updated 5 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆120Updated last year
- Compiling Agda code to readable Haskell☆174Updated last week
- Fast and concise extensible effects☆104Updated last year
- A core language and API for dependently typed languages☆88Updated 9 months ago
- Strongly-typed System F in Haskell☆117Updated last year
- ☆190Updated last month
- SPLV20 course notes☆106Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 5 months ago
- Total Parser Combinators in Agda☆123Updated last year
- A continuation-based backtracking logic programming monad☆85Updated last week
- Effects libraries in Haskell☆73Updated last year
- an implementation of stuck macros☆130Updated 2 weeks ago
- Haskell interactive serverside web framework inspired by HTMX☆78Updated last month
- Haskell Functional Reactive Programming framework with type-level clocks☆121Updated this week
- An Idris port of the Haskell Hedghog library☆31Updated 2 weeks ago
- Benchmarks for capture-avoiding substitution☆106Updated last year
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 9 months ago
- Idris port of Haskell's sop-core library☆33Updated last year
- A purely functional programming language with first class types☆55Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated last month
- Visual Studio Code integration for the Idris 2 language server☆29Updated last month
- Fast parsing from bytestrings☆144Updated 3 weeks ago
- VSCode extension for Haskell☆108Updated 8 months ago
- Compositional Representable Executable Machines☆101Updated 9 months ago
- ☆98Updated 3 weeks ago
- agda-mode for neovim☆130Updated 4 months ago
- A friendly effect system for Haskell☆226Updated 4 months ago
- Code challenges to solve with Haskell☆87Updated last year