Imagine a Dependently Typed Python
☆10Apr 4, 2025Updated 11 months ago
Alternatives and similar repositories for DepPy
Users that are interested in DepPy are comparing it to the libraries listed below
Sorting:
- 🎓 Web app to help teach HM type inference☆22Updated this week
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 4 years ago
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- A JSON object master file, hard-coded from the game itself, for use in web applications that can handle JSON data.☆13Aug 9, 2018Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- OCaml bindings to quickjs☆23Mar 9, 2026Updated last week
- A parser combinator library inspired by Parsec.☆30Aug 4, 2015Updated 10 years ago
- First Class Record Fields in Haskell☆17Jan 8, 2026Updated 2 months ago
- The HaTeX User's Guide☆21May 17, 2021Updated 4 years ago
- L-system generators and visualizers☆33Nov 1, 2021Updated 4 years ago
- Generate ER-diagram using SQL file☆17Dec 31, 2024Updated last year
- Implementation of Dhall in Dhall☆12Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆42Sep 10, 2024Updated last year
- Generate a type-safe openssl configuration file with dhall☆14Aug 25, 2023Updated 2 years ago
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- VSCode pluging that provides LSP support for the Dhall programming language☆17Apr 11, 2023Updated 2 years ago
- WSGI library for simple web servers☆19Oct 20, 2025Updated 4 months ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- A plugin for pdm that enables virtualenv management☆25Jul 4, 2022Updated 3 years ago
- A logical authorization system☆51Mar 2, 2022Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 6 months ago
- Python scripts for loading, pre-processing, Reconstructing and segmenting X-ray CT projection data from an openly available X-ray data se…☆19Sep 25, 2023Updated 2 years ago
- ⚖️ Trial Data Type☆21Jun 13, 2025Updated 9 months ago
- ☆18May 10, 2022Updated 3 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- XSLT and XPath in your Clojure☆31Jan 17, 2024Updated 2 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Automatic housekeeping for your gitlab repositories.☆17Aug 13, 2024Updated last year
- The Agda Universal Algebra Library (html docs available at the url below)☆44Dec 20, 2025Updated 2 months ago
- ☆17Jul 15, 2024Updated last year
- Compass extension for the 1140px fluid layout style☆30Dec 4, 2010Updated 15 years ago
- A mechanisation of Wasm in Isabelle.☆32Feb 13, 2026Updated last month
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- ☆17Apr 4, 2024Updated last year