Stars
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
A community-maintained Python framework for creating mathematical animations.
Recursive Variant: A simple library for Recursive Variant Types
A compact, high-performance finite element analysis engine built on JAX.
Use your Mac trackpad as a weighing scale
pix2tex: Using a ViT to convert images of equations into LaTeX code.
A highly customizable SQP & barrier solver for nonlinearly constrained optimization
Nonguix mirror – pull requests ignored, please use upstream for that
🗣️ A CLI for on-device speech transcription using Speech.framework on macOS 26
Containerization is a Swift package for running Linux containers on macOS.
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Generate diagrams from embedded code; supports Mermaid, Dot/GraphViz, PlantUML, Asymptote, D2, CeTZ, and TikZ.
Template repository for setting up a new git scraper
Quickly search the built-in iOS dictionary to see definitions of words. Collect words you want to remember.
Visualization of data structures and algorithms using Python and Tkinter
Monospaced font family for user interface and coding environments
FiPy is a Finite Volume PDE solver written in Python
Applied 3D geometry in C++, with a focus on surface meshes.
📝 CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.