Lists (32)
AI
4 repositories
AppDev
1 repository
Apps
6 repositories
Automation
27 repositories
Best Practices
1 repository
CLI
4 repositories
Communications
1 repository
DB
Database management6 repositories
DB > ORM
3 repositories
Design
32 repositories
Design > Fonts
Open-source typography30 repositories
Design > Icons
Open-source icon libraries5 repositories
Games
1 repository
GitHub Actions
2 repositories
IDE
17 repositories
Learning
38 repositories
Math
34 repositories
Math > Big Math
Extensive resources for mathematical exposition2 repositories
Math > Theorem Libraries
Libraries of formalized mathematical theories5 repositories
Math > Theorem Provers
Theorem provers and proof-assistants7 repositories
Misc > Lists
2 repositories
Notetaking
36 repositories
NPM Packages
21 repositories
Reverse Engineering
1 repository
Security
5 repositories
System Management
Dotfiles, synching, misc. tools, etc.13 repositories
Terminal
12 repositories
TeX
28 repositories
Web
69 repositories
Web Components
8 repositories
Web > Node
13 repositories
Windows Apps
1 repository
Starred repositories
A community-supported supercharged document management system: scan, index and archive all your documents
A continuation of HomeBox the inventory and organization system built for the Home User
MathCAT: Math Capable Assistive Technology for generating speech, braille, and navigation.
Generating speech descriptions for XML structures
JavaScript library for conversion between TeX/LaTeX and Typst math code.
MathJax documentation. Beautiful math in all browsers. Beautifully documented.
A Lean tactic (`autogeneralize`) which takes in a proof and generalizes it 'as far as the proof allows.'
Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"
13
Updated Feb 27, 2018
Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
Visual Studio Code extension for the Lean 4 proof assistant
Lean 4 library for pretty printing expressions as LaTeX
Anthropic's educational courses
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
Progress meter for long-running computations
A code analyzer for Julia. No need for additional type annotations.
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
Magical utilities for your Svelte applications.
Blame someone else for your bad code.
Typ2Anki is a tool that converts Typst documents into Anki flashcards.
Marginnotes for typst with smart positioning
A short guide to LaTeX that avoids legacy cruft.
A markup-based typesetting system that is powerful and easy to learn.
Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
A virtual list component for Svelte apps
Powerful convenience for Julia visualizations and data analysis
Next generation frontend tooling. It's fast!
🔥🔥🔥 Open-source Jira, Linear, Monday, and ClickUp alternative. Plane is a modern project management platform to manage tasks, sprints, docs, and triage.