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:
- TaPL implementation bits in Idris2β16Feb 27, 2022Updated 4 years ago
- π Web app to help teach HM type inferenceβ23Jul 25, 2026Updated 2 weeks ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalizationβ16Jan 23, 2024Updated 2 years ago
- Dhall types and default values for the alacritty terminal emulatorβ12May 9, 2021Updated 5 years ago
- A REPL for nix expressions in your browserβ14May 5, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A JSON object master file, hard-coded from the game itself, for use in web applications that can handle JSON data.β13Aug 9, 2018Updated 8 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monadβ44May 31, 2022Updated 4 years ago
- First Class Record Fields in Haskellβ18Jun 11, 2026Updated last month
- L-system generators and visualizersβ33Nov 1, 2021Updated 4 years ago
- The HaTeX User's Guideβ21May 17, 2021Updated 5 years ago
- Implementation of Dhall in Dhallβ12Jul 21, 2026Updated 2 weeks ago
- OCaml bindings to quickjsβ23Aug 3, 2026Updated last week
- Haskell library of row polymorphic record manipulatorβ23Oct 19, 2020Updated 5 years ago
- Generate a type-safe openssl configuration file with dhallβ14Aug 25, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- VSCode pluging that provides LSP support for the Dhall programming languageβ18Apr 11, 2023Updated 3 years ago
- A proof-of-concept formal verification tool for WebAssembly.β11Mar 3, 2024Updated 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β¦β45Mar 29, 2026Updated 4 months ago
- A logical authorization systemβ51Mar 2, 2022Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithmβ18Sep 17, 2025Updated 10 months ago
- Experiments using a bidirectional typesystemβ17Jan 30, 2022Updated 4 years ago
- βοΈ Trial Data Typeβ21May 4, 2026Updated 3 months ago
- β18May 10, 2022Updated 4 years ago
- A toy implementation of the dependently typed lambda calculus known as Ξ»Ξβ12Jan 29, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Cheat Sheet for Coq Developers who want to try LeanProverβ19Jul 25, 2023Updated 3 years ago
- a tiny tool for visualising substructual sharing in data structures π΅οΈββοΈβ18Apr 4, 2019Updated 7 years ago
- WSGI library for simple web serversβ18Apr 23, 2026Updated 3 months ago
- XSLT and XPath in your Clojureβ31Jan 17, 2024Updated 2 years ago
- Tutorial for Learning OCaml's Effects and Handlersβ10Nov 16, 2022Updated 3 years ago
- A plugin for pdm that enables virtualenv managementβ26Jul 4, 2022Updated 4 years ago
- Collection of Distributed Protocol Verification Problemsβ16Apr 27, 2024Updated 2 years ago
- β17Apr 4, 2024Updated 2 years ago
- Automatic housekeeping for your gitlab repositories.β17Aug 13, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- β17Jul 15, 2024Updated 2 years ago
- Typing Haskell in Haskellβ15Apr 12, 2010Updated 16 years ago
- Authenticated Data Structuresβ16Jul 5, 2015Updated 11 years ago
- A modern Haskell debuggerβ31May 1, 2025Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Leanβ44Feb 14, 2026Updated 5 months ago
- β10Oct 27, 2024Updated last year
- strictly is a declarative programming language for interactive web-componentsβ10Dec 2, 2023Updated 2 years ago