Stars
F1 Live Timing TUI for all F1 sessions with variable delay to sync to your TV. Supports replaying previously recorded sessions.
Differentiable geometric optics in PyTorch. Design optical systems with optimization.
Database diagrams editor that allows you to visualize and design your DB with a single query.
Sioyek is a PDF viewer with a focus on textbooks and research papers
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
A fast, practical GPU rasterizer for fonts and vector graphics
A cross-platform, OpenGL terminal emulator.
Rust implementation of PowerSession, with new features and enhancements
Free Tailwind CSS v4 components for your next project, designed to enhance your web development with the latest features and styles 🚀
An R package implementing the marching cubes algorithm
A simple time tracker with powerful aggregation via hledger
A cd command that learns - easily navigate directories from the command line
Learn the Zig programming language by fixing tiny broken programs.
A task helper to use system commands as input
pypcap - python libpcap module, forked from code.google.com/p/pypcap
Provides a client for the web API and a parser for the binary historical data provided by IEX
Progress meter for long-running computations
🗜 JavaScript parser, mangler and compressor toolkit for ES6+
A node.js version management utility for Windows. Ironically written in Go.
Deprecated. See README. (A Julia package to provide Python-like formatting support)