Lists (26)
Algorithm & Data Structures
10 repositories
Art
18 repositories
C
24 repositories
Cpp
13 repositories
Data/Viz
18 repositories
Emacs
50 repositories
Haskell
18 repositories
IoT
15 repositories
Julia
3 repositories
Learning Materials
Lecture notes, tutorials, etc.126 repositories
Lisp
12 repositories
Math
17 repositories
ML
105 repositories
NLP
8 repositories
OCaml
201 repositories
PL
PL theory, FP lang/libs, static analyzers, etc.346 repositories
Proof assistants
Rocq (Coq), Lean, etc.27 repositories
Python
79 repositories
ReScript
46 repositories
Rust
109 repositories
Static Analysis
63 repositories
Swift + Apple
Swift libraries and more104 repositories
Tools
Terminal utilities98 repositories
Typesetting
TeX, LaTeX, etc.82 repositories
Vim
54 repositories
Web
Anything related to web technologies236 repositories
Starred repositories
1
star
written in Hack
Clear filter
System for collecting, deriving and working with facts about source code.