Julian's Stars
SortableJS/Sortable
Reorderable drag-and-drop lists for modern browsers and touch devices. No jQuery or framework required.
schollz/croc
Easily and securely send things from one computer to another :crocodile: :package:
atlassian/pragmatic-drag-and-drop
Fast drag and drop for any experience on any tech stack
libvips/libvips
A fast image processing library with low memory needs.
TandoorRecipes/recipes
Application for managing recipes, planning meals, building shopping lists and much much more!
folke/which-key.nvim
💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.
automerge/automerge
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
plasma-umass/coz
Coz: Causal Profiling
Yooooomi/your_spotify
Self hosted Spotify tracking dashboard
Netflix/bpftop
bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.
saljam/webwormhole
Peer authenticated WebRTC.
fastai/lm-hackers
Hackers' Guide to Language Models
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
jaraco/inflect
Correctly generate plurals, ordinals, indefinite articles; convert numbers to words
GREsau/schemars
Generate JSON Schema documents from Rust code
wojciech-kulik/xcodebuild.nvim
Neovim plugin to Build, Debug, and Test applications created for Apple devices (iOS, macOS, watchOS, etc.)
IanVS/eslint-nibble
Ease into ESLint, by fixing one rule at a time
ewels/rich-click
Format click help output nicely with rich.
bluewhalesystems/sold
The sold linker
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
actions/delete-package-versions
grapp-dev/nui-components.nvim
A feature-rich and highly customizable library for creating user interfaces in Neovim.
nvim-neotest/nvim-nio
A library for asynchronous IO in Neovim
pwncollege/dojo
Infrastructure powering the pwn.college dojo
sarugaku/resolvelib
Resolve abstract dependencies into concrete ones
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
ProfJski/FloatCompMandelbrot
What impact does floating point precision have on Mandelbrot set calculations?
yorickpeterse/nvim-tree-pairs
NeoVim plugin for jumping to the other end of the current Tree-sitter node
pysan3/pathlib.nvim
Ultimate solution to path handling in neovim. OS Independent.
ammkrn/type_checking_in_lean4
Type Checking in Lean 4