Type Theory
☆40Jul 21, 2016Updated 10 years ago
Alternatives and similar repositories for type-theory
Users that are interested in type-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Jun 15, 2026Updated 2 months ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆21Nov 20, 2022Updated 3 years ago
- ☆18Apr 7, 2026Updated 4 months ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Simulations and designs for bit serial ALU implemented in TTL circuitry. Also bit serial cpu architectures - all simulated using H. Neem…☆12Aug 26, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Formal Semantics for Why3☆21Jul 15, 2026Updated last month
- ☆11Oct 20, 2017Updated 8 years ago
- The Hitchhiker's Guide to Logical Verification (2026 edition) and associated materials☆41Jan 30, 2026Updated 7 months ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated last year
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 7 years ago
- A tool for modifying the firmware on your WDC W65C816SXB Development Board☆14Apr 22, 2023Updated 3 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 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.
- Multitasking OS for the Commander x16☆18Aug 3, 2026Updated 3 weeks ago
- Lean4 Code Editor☆18Aug 18, 2026Updated last week
- ☆11Dec 12, 2021Updated 4 years ago
- Implementation of Advance Encryption Standard (AES-128/192/256/512) using Python and Numpy☆12Nov 7, 2022Updated 3 years ago
- An experimental implementation of bitsliced aes in pure python. Quite possibly the fastest pure-python AES implementation on the planet.☆19Mar 22, 2022Updated 4 years ago
- ☆16May 28, 2026Updated 3 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆23Mar 27, 2025Updated last year
- 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.
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 13 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 9 months ago
- ☆35Oct 1, 2024Updated last year
- Solution to Algebra, Chapter 0☆104Dec 17, 2025Updated 8 months ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆35Nov 30, 2022Updated 3 years ago
- ☆12Sep 4, 2025Updated 11 months ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 4 years ago
- 基于selenium的一个新式烤推机 易部署☆24Jun 24, 2021Updated 5 years ago
- An implementation of Bose-Chaudhuri-Hocquenghem codes and error-checking in Go.☆19Jul 6, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- A tutorial on how Agda infers things☆67Jul 10, 2025Updated last year
- MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis☆37Mar 17, 2024Updated 2 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 6 months ago
- Lox language interpreter written in Rust☆20Oct 24, 2024Updated last year
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆24Jul 8, 2026Updated last month