Hexirp's Stars
microsoft/vscode
Visual Studio Code
mastodon/mastodon
Your self-hosted, globally interconnected microblogging community
rust-lang/cargo
The Rust package manager
mathjax/MathJax
Beautiful and accessible math in all browsers
misskey-dev/misskey
🌎 An interplanetary microblogging platform 🚀
Byron/gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
elm/compiler
Compiler for Elm, a functional language for reliable webapps.
actions/checkout
Action for checking out a repo
zenorogue/hyperrogue
A SDL roguelike in a non-euclidean world
lurk-lab/yatima-lang-alpha
A programming language for the decentralized web
misskey-dev/misskey-hub
Website for Misskey
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
UniMath/agda-unimath
The agda-unimath library
HigherOrderCO/kind
Temporary repository for Kind2's refactor based on HVM2
abenori/jlreq
TheoWinterhalter/formal-type-theory
Formalising Type Theory in a modular way for translations between type theories
choukh/Set-Theory
A formalization of the textbook Elements of Set Theory
qnighy/ipc_solver
O(N log N)-space IPC solver in OCaml
ekmett/unboxed
experimenting with unlifted classes via backpack
sksat/mc.yohane.su
my minecraft server
uemurax/hott-ja
HoTT in Japanese
MinecraftTAS/TASmod
Minecraft Tool-Assisted Speedrun (TAS) Tools with input playback
VictorTaelin/optimul
Multiplication on optimal λ-calculus reducers
ekmett/linear-haskell
linear haskell playground
konn/laurent
Formal power series and Laurent series, cubically
choukh/agda-lvo
large veblen ordinal in agda
fumieval/OrderOrder
fumieval/prelude-dot
Dotty prelude
haskell-jp/haskell-jp.github.io
haskell-jp official web page
yotsunva/notes