systemphil / sphil
The Systematic Philosophy Platform🦉
☆66Updated this week
Related projects ⓘ
Alternatives and complementary repositories for sphil
- PROJECT RENAMED. GO HERE:☆70Updated 3 months ago
- emulate terminal screenshots in typst☆28Updated 9 months ago
- When you see the Brainmade logo on any artwork, whether painting, poetry, or prose, you know that it was made by a human just like you.☆77Updated last month
- HVM3☆59Updated this week
- Anki-like flashcard management tool for the terminal!☆101Updated 2 months ago
- Create literature notes in Obsidian from BibTeX entries, display formatted reference lists, and instantly generate citations.☆59Updated 6 months ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆74Updated 5 months ago
- ☆33Updated this week
- A statically-generated site to host my math course notes in university.☆428Updated last month
- Finally, a shell for all seasons!☆87Updated 2 months ago
- A query language for exploring knowledge graphs.☆137Updated 3 months ago
- My minimal nvim configuration.☆10Updated this week
- GitHub repo backing Programming Language Ranking website ⬇️☆30Updated 2 weeks ago
- ☆110Updated 9 months ago
- interactive backronym composition tool☆27Updated last year
- Inspired by typelang, a lisp implemented in typescript's type engine☆10Updated 2 months ago
- Simple Programming Language that compiles to BEAM bytecode☆69Updated 9 months ago
- ☆25Updated this week
- ✨ Zero Bullshit Git☆187Updated 10 months ago
- A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…☆15Updated 6 months ago
- A fun little TUI framework for OCaml☆364Updated 2 months ago
- Mathberet is a self-hosted digital mathematics notebook written in React and Typescript, designed for math students who need a platform f…☆176Updated last year
- A collection of open-source integrations with Mochi☆29Updated 3 months ago
- Grasshopper's Monadic Parser☆13Updated 2 weeks ago
- convert images, video to ascii!☆231Updated this week
- Binary data (de)serializer, highly inspired by Tsoding's multiplayer prototype☆14Updated 3 months ago
- Turing Language☆167Updated 3 months ago
- an adaptable text editor☆263Updated this week
- Turn any website into an app in seconds!☆361Updated last month