Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
☆22Apr 13, 2025Updated last year
Alternatives and similar repositories for for-all-x
Users that are interested in for-all-x are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 12 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated 2 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jun 9, 2026Updated 3 months ago
- A splay tree implementation.☆13Jul 10, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Craft a toy compiler☆10Aug 21, 2019Updated 7 years ago
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆16Apr 13, 2023Updated 3 years ago
- UCalgary version of forallx, an introduction to formal logic☆130Sep 15, 2026Updated last week
- Tim Button's open textbook on set theory☆43Jul 12, 2026Updated 2 months ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- A mdbook preprocessor that allows the re-usability of template files with dynamic arguments☆14Apr 8, 2024Updated 2 years ago
- A formal logic framework that runs in the browser☆349Sep 13, 2026Updated 2 weeks ago
- P.D. Magnus' forallx logic textbook☆71Mar 30, 2025Updated last year
- A Scribble library for typesetting grammars better☆15Jul 9, 2026Updated 2 months ago
- 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.
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 6 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 12 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 10 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated 2 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated 2 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.☆10Jul 6, 2023Updated 3 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 8 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Mar 2, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A website server that supports serving many websites using subdomain-based routing.☆20Jul 20, 2025Updated last year
- Hey! An Interruption and Time Tracking Command line app.☆13Nov 19, 2024Updated last year
- Validate untyped data and return well typed result.☆21Oct 26, 2024Updated last year
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- ☆18Aug 20, 2019Updated 7 years ago
- Idris GraphQL☆17Dec 16, 2017Updated 8 years ago
- Kiwi monitor is an open source CO2/Humidity/Temperature sensor intended for monitoring the quality of the air in a room. Kiwi was created…☆10Jul 2, 2026Updated 2 months ago