☆11May 14, 2023Updated 2 years ago
Alternatives and similar repositories for ProofLab
Users that are interested in ProofLab are comparing it to the libraries listed below
Sorting:
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 6 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- A text-based adventure game written in Java☆10Feb 7, 2018Updated 8 years ago
- a numerical computing library for Clojure☆23Jan 30, 2018Updated 8 years ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Sep 30, 2024Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Nov 21, 2024Updated last year
- interactive λ-calculus for learning☆37Jun 1, 2019Updated 6 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆36Dec 20, 2025Updated 2 months ago
- Place for editing the data backing ashtadhyayi.com☆12Feb 8, 2026Updated 2 weeks ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Jan 17, 2022Updated 4 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A small library to output memory graph for ocaml values☆40Jun 28, 2024Updated last year
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- ☆13Sep 5, 2024Updated last year
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Oct 24, 2024Updated last year
- Basics of the dependently-typed functional language Agda ^_^☆42Jan 6, 2022Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- My personal dotifles☆12Sep 20, 2025Updated 5 months ago
- 2023 中国开源年度报告；2023 China Open Source Report☆16May 10, 2024Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago