Git for Philosophers
☆35Aug 1, 2023Updated 3 years ago
Alternatives and similar repositories for git4phi
Users that are interested in git4phi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BibTeX file of philosophy papers☆15Updated this week
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- A textbook for philosophy classes on probability & inductive logic☆11Sep 8, 2021Updated 5 years ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆21Sep 19, 2026Updated last month
- Philosophy diagrams in Ti𝑘Z☆41Jul 13, 2021Updated 5 years 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.
- Web based argument mapping tools☆19Jul 17, 2023Updated 3 years ago
- A short ScalaCheck tutorial for the Programming Principles course☆14Oct 4, 2021Updated 5 years ago
- Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm☆24Dec 17, 2023Updated 2 years ago
- ☆17May 8, 2014Updated 12 years ago
- A variety of loaders for various NLP corpora.☆31Sep 17, 2022Updated 4 years ago
- Hard-Forked from JuliaText/TextAnalysis.jl☆17Aug 14, 2023Updated 3 years ago
- Citation Style Language utilities☆19May 3, 2021Updated 5 years ago
- Runs magit in a light emacs install☆11Sep 8, 2019Updated 7 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years 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.
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Updated this week
- Make beautiful, interactive timelines on the web.☆13Aug 16, 2013Updated 13 years ago
- Convenience functions missing in Julia☆24Sep 21, 2024Updated 2 years ago
- Website for "Data-sitters Club"☆21Oct 15, 2026Updated 2 weeks ago
- render raster images to terminal☆14Mar 7, 2016Updated 10 years ago
- Intermediate and Advanced Java Console & UI Application Examples☆11Oct 4, 2026Updated 3 weeks ago
- book mark <--> mark book -- insane social bookmarking for the solid platform☆19Jan 22, 2024Updated 2 years ago
- Datasette plugin adding SQL functions for fuzzy text matching powered by Jellyfish☆15Aug 24, 2023Updated 3 years ago
- csv grammar for tree-sitter☆12Sep 13, 2026Updated last month
- 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.
- Transcription features for NeoVim☆12Feb 7, 2019Updated 7 years ago
- Docs and walks from my Mastodon research☆10Apr 25, 2017Updated 9 years ago
- Write RESTful API Wrappers Declaratively☆17Aug 23, 2014Updated 12 years ago
- A class-light CSS framework☆13Nov 12, 2025Updated 11 months ago
- Spaced repetition algorithm for flashcard review☆11Apr 9, 2019Updated 7 years ago
- An experimental Agent library based on Scalaz.☆22Feb 23, 2014Updated 12 years ago
- Command line tool that splits a PDF file by its table of contents.☆14Jul 7, 2026Updated 3 months ago
- A talk☆29Apr 14, 2021Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated last year
- 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.
- @DHRI-Curriculum Session on the command line, a means of interacting with your computer programmatically through text.☆16May 8, 2024Updated 2 years ago
- An ebook of “The Hacker Crackdown: Law and Disorder on the Electronic Frontier” by Bruce Sterling☆37Dec 2, 2020Updated 5 years ago
- Factoid Prosopography Ontology☆15Jun 19, 2020Updated 6 years ago
- See the hidden patterns in your notes! Echoes scans your entire vault to reveal dominant concepts through word clouds and comprehensive s…☆12Jul 8, 2025Updated last year
- Code for WJ Turkel & A MacEachern, The Programming Historian, 1st ed.☆18Jun 16, 2013Updated 13 years ago
- Citation management tool.☆12Aug 9, 2014Updated 12 years ago
- A python script that looks for special lines in a markdown file and uses those lines to convert, clean up, and insert content from URLs i…☆16Dec 9, 2012Updated 13 years ago