Type Theory
☆34Jul 21, 2016Updated 9 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:
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Jun 13, 2021Updated 4 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 3 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last month
- A tool for hacking a W65C265SXB☆13Jun 18, 2018Updated 7 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated 11 months ago
- A tool for modifying the firmware on your WDC W65C816SXB Development Board☆14Apr 22, 2023Updated 2 years ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- 8-Bit computer compatible with Commander X16☆27Nov 5, 2025Updated 4 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
- A gentle introduction to Isabelle and Isabelle/HOL☆19Mar 27, 2025Updated last year
- cli tool to find older versions of a given file in your zfs snapshots.☆14Mar 12, 2023Updated 3 years ago
- ☆62Mar 13, 2026Updated 2 weeks ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Feb 2, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- notes on topos theory (Chinese)☆16Nov 28, 2024Updated last year
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆29Mar 26, 2019Updated 7 years ago
- A tutorial on how Agda infers things☆64Jul 10, 2025Updated 8 months ago
- MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis☆37Mar 17, 2024Updated 2 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- Wasm SpecTec specification tools☆94Mar 10, 2026Updated 2 weeks ago
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆43Jan 18, 2026Updated 2 months ago
- ☆149Updated this week
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 16 years ago
- 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.
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- A mechanisation of Wasm in Isabelle.☆32Feb 13, 2026Updated last month
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Mechanizations of Type Theories☆35Jan 15, 2026Updated 2 months ago
- Input Method source for nvim-cmp☆20Jul 14, 2025Updated 8 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Dec 12, 2021Updated 4 years ago
- Enhances simple I18n backend so that it inflects translations using pattern interpolation☆32Jun 17, 2022Updated 3 years ago
- Moved to Codeberg☆10Jan 10, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.☆10Dec 27, 2023Updated 2 years ago
- An abstract tree data-structure to represent windows as leaf nodes.☆12Dec 25, 2022Updated 3 years ago
- Материалы к серии докладов о советской компиляторной школе☆12Aug 8, 2024Updated last year
- an alternative approach to pattern matching☆13Jul 18, 2022Updated 3 years ago
- Scheme (R6RS subset) interpreter written in OCaml☆17Jun 30, 2020Updated 5 years ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago