andorp / DepPy
Imagine a Dependently Typed Python
☆11Updated last month
Alternatives and similar repositories for DepPy:
Users that are interested in DepPy are comparing it to the libraries listed below
- First Class Record Fields in Haskell☆17Updated last month
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 2 months ago
- WIP: A modern step-through debugger for GHC Haskell☆19Updated this week
- Opinionated package manager for haskell (WIP)☆17Updated last year
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆69Updated 3 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago
- ☆17Updated last year
- A helpful AI assistant for Mercury engineers☆17Updated 7 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆10Updated last month
- high-powered optics in a small package☆53Updated 7 months ago
- Type-safe WebAssembly eDSL in Haskell☆25Updated 6 months ago
- Agda grammar for tree-sitter☆35Updated 5 months ago
- A library for benign effects in Haskell☆20Updated 2 months ago
- ☆20Updated 5 months ago
- could it be?☆17Updated 9 months ago
- CS410 "Advanced Functional Programming"☆23Updated 3 weeks ago
- ☆21Updated this week
- ☆35Updated last year
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Updated 2 years ago
- ☆19Updated this week
- Lua backend for Idris 2☆27Updated 2 years ago
- Algebraic effects in the Bluefin effect system☆16Updated last year
- Class of data structures that can be unfolded.☆22Updated last year
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 2 months ago
- ☆16Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 10 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago