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β17Feb 27, 2022Updated 4 years ago
- π Web app to help teach HM type inferenceβ23Updated this week
- β23May 25, 2025Updated last year
- a tiny tool for visualising substructual sharing in data structures π΅οΈββοΈβ18Apr 4, 2019Updated 7 years ago
- Proofs written in Lean4 for the core katydid validation algorithmβ18Sep 17, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Python BDD spec writing and running framework (Currently a thought experiment)β11Aug 13, 2012Updated 14 years ago
- PureScript codebase visualization tool with treemaps, beeswarms, and dependency analysisβ15Oct 21, 2026Updated last week
- Git wrapper with a streamlined UXβ12Mar 2, 2025Updated last year
- A reference implementation of Dhall in Scalaβ12Jun 18, 2026Updated 4 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalizationβ16Jan 23, 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β¦β47Mar 29, 2026Updated 6 months ago
- β10Jun 7, 2024Updated 2 years ago
- A REPL for nix expressions in your browserβ14May 5, 2018Updated 8 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 8 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 Haskell to Coq compiler that represents effectful programs with the free monadβ44May 31, 2022Updated 4 years ago
- Implementation of Dhall in Dhallβ12Sep 25, 2026Updated last month
- Python HKP clientβ13Oct 21, 2016Updated 10 years ago
- Generate a type-safe openssl configuration file with dhallβ14Aug 25, 2023Updated 3 years ago
- One-line caching action for Stack-based Haskell projectsβ13Updated this week
- Symbolic and Automatic Differentiation of Languages in Leanβ10May 9, 2025Updated last year
- L-system generators and visualizersβ33Nov 1, 2021Updated 4 years ago
- First Class Record Fields in Haskellβ18Jun 11, 2026Updated 4 months ago
- VSCode pluging that provides LSP support for the Dhall programming languageβ18Apr 11, 2023Updated 3 years ago
- 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.
- Haskell library of row polymorphic record manipulatorβ23Oct 19, 2020Updated 6 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorβ¦β12Jan 10, 2025Updated last year
- βοΈ Trial Data Typeβ22May 4, 2026Updated 5 months ago
- The Tao of Programming by Geoffrey Jamesβ11Jan 29, 2019Updated 7 years ago
- A toy implementation of the dependently typed lambda calculus known as Ξ»Ξβ12Jan 29, 2020Updated 6 years ago
- The HaTeX User's Guideβ21May 17, 2021Updated 5 years ago
- Daily kata from the Little Typerβ13Dec 28, 2018Updated 7 years ago
- OCaml bindings to quickjsβ21Oct 22, 2026Updated last week
- A logical authorization systemβ51Mar 2, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tutorial for Learning OCaml's Effects and Handlersβ10Nov 16, 2022Updated 3 years ago
- β17Apr 4, 2024Updated 2 years ago
- A simple build system for Idrisβ22Mar 19, 2021Updated 5 years ago
- A proof-of-concept formal verification tool for WebAssembly.β11Mar 3, 2024Updated 2 years ago
- Automatic housekeeping for your gitlab repositories.β17Aug 13, 2024Updated 2 years ago
- WSGI library for simple web serversβ18Apr 23, 2026Updated 6 months ago
- β18May 10, 2022Updated 4 years ago