Lean Companion to the Category Theory in Context textbook by Emily Riehl
☆29Nov 28, 2025Updated 3 months ago
Alternatives and similar repositories for category-theory-in-context-lean
Users that are interested in category-theory-in-context-lean are comparing it to the libraries listed below
Sorting:
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆144Updated this week
- Proyecto de búsqueda de personas uruguayas☆10May 1, 2019Updated 6 years ago
- Data Science UCSB's management of GauchoCourses, a quarterly course planner that allows students to see possible schedule combinations fo…☆13Jan 31, 2024Updated 2 years ago
- GoGaucho WebApp☆12Updated this week
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- PKM + REPL + AI☆12Aug 2, 2024Updated last year
- Download Telegram chats as IRC-style TXT files. Optionally downloads media.☆27Jan 1, 2026Updated 2 months ago
- Zero-configuration Rack server for Mac OS X☆12Aug 9, 2012Updated 13 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Envv is a shell-independent way of handling environment variables. (not mine)☆16Jan 16, 2024Updated 2 years ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆50Mar 2, 2026Updated last week
- debug path list environment variables☆13Dec 23, 2025Updated 2 months ago
- Kystrix is a small Kotlin DSL over Hystrix☆11Feb 9, 2024Updated 2 years ago
- my personal dotfiles and other home stuff vcsh style☆12Sep 30, 2025Updated 5 months ago
- Manage your checkouts directory with ease☆11Dec 5, 2016Updated 9 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- Print the uncompressed size of a GZip file.☆14Sep 16, 2019Updated 6 years ago
- A simple export utility for Pocket articles☆13May 23, 2025Updated 9 months ago
- GNU Guix is a purely functional package manager for the GNU system, and a distribution thereof.☆12Oct 21, 2014Updated 11 years ago
- ☆10Jun 23, 2017Updated 8 years ago
- A tool to sign or resign an existing .NET assembly and update all the references to it.☆15Oct 21, 2015Updated 10 years ago
- Saltstack AWS creates all the non-server components of a AWS hosted datacenter☆11Aug 23, 2018Updated 7 years ago
- Like autoenv and direnv only better with Bash.☆11Nov 29, 2022Updated 3 years ago
- An Emacs major mode for managing launchd jobs☆14Jun 11, 2021Updated 4 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year
- Examples that show how to build a .war file from a RAP application with different build systems☆22Nov 3, 2019Updated 6 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- auto-generated tests for Clojure WebApps☆11Sep 26, 2017Updated 8 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 6 years ago
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago
- A minimalistic way to run WAVSEP☆16May 14, 2018Updated 7 years ago
- Quickly generate markdown tables in your terminal using a simplistic specification☆16Oct 2, 2019Updated 6 years ago
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Jul 19, 2019Updated 6 years ago
- ☆11Jul 2, 2024Updated last year
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago
- Quicklook plugin for .gradle files☆12Feb 14, 2015Updated 11 years ago
- ☆12Jul 8, 2023Updated 2 years ago