Textbook on non-classical logics
☆14Jul 12, 2026Updated 3 months ago
Alternatives and similar repositories for what-if
Users that are interested in what-if are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 12, 2026Updated 3 months ago
- Open textbook on modal logic☆25Jul 12, 2026Updated 3 months ago
- Textbook on metalogic based on the Open Logic Project☆44Jul 12, 2026Updated 3 months ago
- Tim Button's open textbook on set theory☆44Jul 12, 2026Updated 3 months ago
- Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes l…☆15Oct 14, 2026Updated 3 weeks ago
- 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.
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆16Apr 13, 2023Updated 3 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 9 months ago
- UCalgary version of forallx, an introduction to formal logic☆131Oct 23, 2026Updated 2 weeks ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 12 years ago
- Git for Philosophers☆35Aug 1, 2023Updated 3 years ago
- Explorations in Algebraic Graph Theory☆11Oct 14, 2015Updated 11 years ago
- Maze generation algorithms☆10Nov 29, 2024Updated last year
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Updated this week
- interactive, open source music theory textbook☆11Sep 25, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Jul 9, 2026Updated 3 months ago
- OldBanana is a browser add-on that reintroduces Gamebanana features and reverts detrimental changes on the client side. It will locally k…☆11Apr 2, 2022Updated 4 years ago
- Patcher for Comet (Perplexity’s browser) to allow extensions (like Complexity) to work on the Perplexity website! Only for macOS.☆11Aug 11, 2025Updated last year
- Source code for http://online-optimizer.appspot.com.☆10May 16, 2023Updated 3 years ago
- Distilled version of LaGAT: a neuro-guided search for multi-agent pathfinding (MAPF)☆17Jul 18, 2026Updated 3 months ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆11Jan 5, 2024Updated 2 years ago
- ☆10Sep 16, 2026Updated last month
- "Alexandrov geometry: foundations" by S. Alexander, V. Kapovitch, and A. Petrunin☆11Jul 14, 2026Updated 3 months ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆21Sep 19, 2026Updated last month
- AI Agents on 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.
- Development of the univalent foundations of mathematics in Coq☆19Apr 24, 2012Updated 14 years ago
- Fanmade game client of "A Dance of Fire and Ice" (ADOFAI).☆12May 30, 2025Updated last year
- Find related repository by stars.☆17May 9, 2023Updated 3 years ago
- A list of big tech products' alternatives.☆11May 7, 2025Updated last year
- simple config file for playing Celeste☆11Jun 1, 2023Updated 3 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- E-Books Library for someone who interested in Pure Mathematics.☆20Oct 24, 2021Updated 5 years ago
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Some reverse engineering code for Celeste☆16May 24, 2018Updated 8 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆14Oct 15, 2026Updated 3 weeks ago
- unofficial osu!lazer client with gimmicks like variable cs/ar/od, and hp gimmicks☆22Oct 4, 2026Updated last month
- This repository contains the source code and data for Inverse Geometric Locomotion, published at SIGGRAPH 2025.☆22Sep 29, 2025Updated last year
- Modern Haskell binding to the Notmuch mail indexer☆14Jun 4, 2025Updated last year
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- [OLD REPO] Fixing wyrd compile issues in a modern archlinux environment☆10Feb 8, 2022Updated 4 years ago