Lecture notes, exercises, homeworks for Brown CS1951x 2023
☆13Jan 31, 2024Updated 2 years ago
Alternatives and similar repositories for fpv2023
Users that are interested in fpv2023 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Duke Math+ 2024☆11Jul 29, 2024Updated 2 years ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"☆15Sep 15, 2026Updated last month
- Type Checking in Lean 4☆42Mar 22, 2026Updated 7 months 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.
- ☆17Jun 22, 2024Updated 2 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆28Oct 13, 2025Updated last year
- ☆12May 14, 2023Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 3 years ago
- ☆10Jan 4, 2024Updated 2 years ago
- Code repository for our work on Quantum Pi☆12Jun 4, 2024Updated 2 years ago
- PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (…☆12Apr 9, 2025Updated last year
- ☆14Sep 16, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Apr 13, 2023Updated 3 years ago
- A plugin for Figma that draws Sigils to a document☆21Jan 5, 2023Updated 3 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- An Obsidian starter kit for LessWrong, Effective Altruism, AI Alignment, etc.☆15Nov 12, 2022Updated 3 years ago
- CS316 "Functional Programming" lecture notes☆25Updated this week
- Fetch, flag/mark, delete/expire, and perform other batch operations on messages residing on IMAP servers. A very fast KISS mail fetcher w…☆15Oct 9, 2025Updated last year
- ☆13Jan 26, 2022Updated 4 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- ☆18Aug 1, 2026Updated 3 months 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.
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- Agent skills for creating and reading subtext documents — sentence-level annotated prose☆20Jul 22, 2026Updated 3 months ago
- The standard template to create a lean game☆57Oct 25, 2026Updated last week
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 12 years ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- OCaml compiler for Konrad Zuse's Plankalkül (1945): the world's first high-level programming language☆19Mar 2, 2026Updated 8 months ago
- MA4N1 Theorem Proving with Lean☆19Updated this week
- A werid system of social credit based on two simple principles: do no harm & play infinitely.☆14Oct 6, 2026Updated 3 weeks ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆16Aug 28, 2023Updated 3 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.
- Notes/Psets/Recaps and useful student-made material for EMAp's students☆13Updated this week
- Quilts for some of my favorite artists☆16Aug 10, 2016Updated 10 years ago
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools☆12Feb 4, 2023Updated 3 years ago
- Attempt to generate a Lora that "teaches" the newest Zig 0.14.0 to Qwen3-8b☆14May 3, 2025Updated last year
- Mod for Celeste that adds 120+ fps support without breaking physics☆23Updated this week
- Code repository for "The Clock and the Pizza: Two Stories in Mechanistic Explanation of Neural Networks"☆20Nov 24, 2023Updated 2 years ago
- ☆21Aug 18, 2024Updated 2 years ago