Julian

Julian's Stars

• immich-app/immich

  High performance self-hosted photo and video management solution.

  Language:TypeScript61.4k2275k3.2k

• soimort/you-get

  :arrow_double_down: Dumb downloader that scrapes the web

  Language:Python55.3k1.4k09.7k

• 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

  Language:Clojure35.5k2327.8k2.1k

• fastai/fastai

  The fastai deep learning library

  Language:Jupyter Notebook26.8k6021.8k7.6k

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python22.5k3799.6k8.3k

• piskvorky/gensim

  Topic Modelling for Humans

  Language:Python15.9k4251.9k4.4k

• MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning

  This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

  Language:MATLAB7.5k600782

• librosa/librosa

  Python library for audio and music analysis

  Language:Python7.5k1361.2k979

• google-research/arxiv-latex-cleaner

  arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

  Language:Python5.9k3461350

• mfontanini/presenterm

  A markdown terminal slideshow tool

  Language:Rust5k17155102

• epwalsh/obsidian.nvim

  Obsidian 🤝 Neovim

  Language:Lua5k22421253

• saminiir/level-ip

  A hacker's userspace TCP/IP stack

  Language:C2.9k9824400

• CopilotC-Nvim/CopilotChat.nvim

  Chat with GitHub Copilot in Neovim

  Language:Lua2.4k12253111

• DioxusLabs/blitz

  A radically modular HTML/CSS rendering engine

  Language:Rust2.4k246161

• stevearc/aerial.nvim

  Neovim plugin for a code outline window

  Language:Lua1.9k629693

• ajayyy/DeArrow

  Crowdsourcing better titles and thumbnails on YouTube

  Language:TypeScript1.6k728050

• w3c/activitypub

  Language:HTML1.3k7743482

• Myriad-Dreamin/tinymist

  Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

  Language:Rust1.3k435555

• twisted/towncrier

  Manage the release notes for your project.

  Language:Python82017263124

• rems-project/sail

  Sail architecture definition language

  Language:OCaml68736400125

• awwaiid/ghostwriter

  Use the reMarkable2 as an interface to vision-LLMs (ChatGPT, Claude, Gemini). Ghost in the machine!

  Language:Rust4465617

• Julian/lean.nvim

  Neovim support for the Lean theorem prover

  Language:Lua334718629

• igorlfs/nvim-dap-view

  Visualize debugging sessions in neovim!

  Language:Lua288497

• ImperialCollegeLondon/formalising-mathematics-2024

  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  Language:Lean2038053

• getsentry/fsl.software

  Functional Source License (FSL)

  Language:HTML150163810

• philzook58/awesome-egraphs

  An awesome list of e-graph resources

  139708

• jaredkrinke/sic1

  Single-instruction (subleq) programming game

  Language:TypeScript9745633

• mpatajac/jillc

  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)

  Language:Rust763

• cmu-l3/ntptutorial-II

  Neural theorem proving tutorial, version II

  Language:Jupyter Notebook34215

• b-mehta/formalising-mathematics-notes

  Course notes for Formalising Mathematics 2025

  Language:Lean20206