Stars
Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
An attempt to formalize every problem in Baby Rudin with natural language descripiton
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
Typst package for drawing diagrams with arrows, built on top of CeTZ.
A modern commutative diagram editor for the web.
mimalloc is a compact general purpose allocator with excellent performance.
a structural diff that understands syntax 🟥🟩
physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
An implementation of numbered theorem environments in typst
A new markup-based typesetting system that is powerful and easy to learn.
A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others
Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Lad…
Lean 4 programming language and theorem prover
JDK main-line development https://openjdk.org/projects/jdk
Python app to work with pictures and associated metadata from Apple Photos on macOS. Also includes a package to provide programmatic access to the Photos library, pictures, and metadata.
Read HotSpot perf counters directly from the JVM memory
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Runtime code generation for the Java virtual machine.
Collection of small Java serviceability improvements based on JVM Tool Interface