Julian's Stars
immich-app/immich
High performance self-hosted photo and video management solution.
soimort/you-get
:arrow_double_down: Dumb downloader that scrapes the web
logseq/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
fastai/fastai
The fastai deep learning library
zulip/zulip
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
piskvorky/gensim
Topic Modelling for Humans
MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
librosa/librosa
Python library for audio and music analysis
google-research/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
mfontanini/presenterm
A markdown terminal slideshow tool
epwalsh/obsidian.nvim
Obsidian 🤝 Neovim
saminiir/level-ip
A hacker's userspace TCP/IP stack
CopilotC-Nvim/CopilotChat.nvim
Chat with GitHub Copilot in Neovim
DioxusLabs/blitz
A radically modular HTML/CSS rendering engine
stevearc/aerial.nvim
Neovim plugin for a code outline window
ajayyy/DeArrow
Crowdsourcing better titles and thumbnails on YouTube
w3c/activitypub
Myriad-Dreamin/tinymist
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
twisted/towncrier
Manage the release notes for your project.
rems-project/sail
Sail architecture definition language
awwaiid/ghostwriter
Use the reMarkable2 as an interface to vision-LLMs (ChatGPT, Claude, Gemini). Ghost in the machine!
Julian/lean.nvim
Neovim support for the Lean theorem prover
igorlfs/nvim-dap-view
Visualize debugging sessions in neovim!
ImperialCollegeLondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
getsentry/fsl.software
Functional Source License (FSL)
philzook58/awesome-egraphs
An awesome list of e-graph resources
jaredkrinke/sic1
Single-instruction (subleq) programming game
mpatajac/jillc
Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
cmu-l3/ntptutorial-II
Neural theorem proving tutorial, version II
b-mehta/formalising-mathematics-notes
Course notes for Formalising Mathematics 2025