Imagine a Dependently Typed Python
β10Apr 4, 2025Updated last year
Alternatives and similar repositories for DepPy
Users that are interested in DepPy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Web app to help teach HM type inferenceβ22Mar 27, 2026Updated last 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β14May 5, 2018Updated 7 years ago
- An implementation of scoped algebraic effects and handlers in Agda.β13Mar 11, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways β’ AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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 16, 2026Updated 3 weeks ago
- A parser combinator library inspired by Parsec.β30Aug 4, 2015Updated 10 years ago
- First Class Record Fields in Haskellβ17Jan 8, 2026Updated 3 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β12Mar 13, 2026Updated 3 weeks ago
- NordVPN Special Discount Offer β’ AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Generate a type-safe openssl configuration file with dhallβ14Aug 25, 2023Updated 2 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, inβ¦β43Mar 29, 2026Updated last week
- Haskell library of row polymorphic record manipulatorβ23Oct 19, 2020Updated 5 years ago
- VSCode pluging that provides LSP support for the Dhall programming languageβ18Apr 11, 2023Updated 2 years ago
- A proof-of-concept formal verification tool for WebAssembly.β10Mar 3, 2024Updated 2 years ago
- WSGI library for simple web serversβ19Mar 27, 2026Updated last week
- 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
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Python scripts for loading, pre-processing, Reconstructing and segmenting X-ray CT projection data from an openly available X-ray data seβ¦β20Sep 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
- A toy implementation of the dependently typed lambda calculus known as Ξ»Ξβ12Jan 29, 2020Updated 6 years ago
- XSLT and XPath in your Clojureβ31Jan 17, 2024Updated 2 years ago
- a tiny tool for visualising substructual sharing in data structures π΅οΈββοΈβ18Apr 4, 2019Updated 7 years ago
- Collection of Distributed Protocol Verification Problemsβ15Apr 27, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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)β45Dec 20, 2025Updated 3 months ago
- β17Jul 15, 2024Updated last year
- Compass extension for the 1140px fluid layout styleβ30Dec 4, 2010Updated 15 years ago
- Authenticated Data Structuresβ16Jul 5, 2015Updated 10 years ago
- A mechanisation of Wasm in Isabelle.β33Feb 13, 2026Updated last month