Readings on computational logic, interactive theorem proving and functional programming.
☆93Nov 3, 2026Updated this week
Alternatives and similar repositories for Lecturas_GLC
Users that are interested in Lecturas_GLC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆29Feb 28, 2019Updated 7 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- Logic and Mechanized Reasoning☆120Jan 11, 2026Updated 9 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆56May 28, 2020Updated 6 years ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- ☆39Oct 23, 2021Updated 5 years ago
- Coq course at Chalmers CSE☆39Jul 3, 2017Updated 9 years ago
- Discuss future project ideas☆12May 10, 2017Updated 9 years ago
- Examples of Abstract Data Types written in Javascript for educational purposes☆11Jun 3, 2015Updated 11 years ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- Linear Algebra☆10Dec 1, 2019Updated 6 years ago
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆73Updated this week
- Python tools for the K Framework☆13Apr 25, 2024Updated 2 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- ☆15Jun 11, 2025Updated last year
- ☆12Mar 13, 2025Updated last year
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- 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.
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 4 months ago
- ☆13Mar 10, 2026Updated 7 months ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 years ago
- Modeling and Proving in Computational Type Theory☆129Aug 11, 2026Updated 2 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago
- ☆22Dec 3, 2024Updated last year
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆60Sep 11, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Agda lecture notes for the Functional Programming course at TU Delft☆135Mar 3, 2026Updated 8 months ago
- ☆12Feb 15, 2024Updated 2 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 11 years ago
- Formalization of some elementary mathematical theories in Coq☆16Mar 29, 2020Updated 6 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 3 years ago
- Elsa is a lambda calculus evaluator☆194Oct 5, 2025Updated last year
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago