Lists (22)
🧊 3D Printing and CAD
Software and hardware for 3D printing and CAD🎧 Audio/Video Applications
Interesting audio/video/MIDI-processing applications.🔉 Audio/Video Libraries
Audio/video/MIDI-processing libraries.💻 Command Line Tools
CLI tools and utilities.⚙️ Compilers
Compilers, interpreters, runtimes, debuggers, language servers and other programming language-specific tools🪩 Computer Graphics
Interesting computer graphics projects, e.g. 3D renderers.🐳 Containers, VMs and Emulation
Anything Docker/K8s or virtualization/emulation-related✏️ Developer Tools
Applications for software development/programming, e.g. editors.🌎 Distributed Systems
Anything related to distributed systems, including applications, libraries, etc.🪚 DIY Projects
Cool stuff to build yourself🎓 Education
Educational tools🔋 Embedded, Hardware and RE
Embedded software, firmware, hardware-related projects, PCBs, reverse-engineering etc.🍬 Fun Stuff
Cool tech demos and some humorous stuff🎲 Games
Open-source games or game-related engines, servers, libraries (e.g. for chess)🪟 GUI, Windowing and Desktop
UI Frameworks, Window Managers, Desktop Environments etc.💡 Machine Learning
ML/Data Science-related libraries and applications.🧮 Mathematics
Math-related applications and libraries, e.g. numerics, visualization, computer algebra, etc.📦 Package Managers
Package managers, build tools, etc.🖌️ Image Editing
Bitmap and vector editing, painting, etc.🌎 Web, E-Mail & Calendar
Web browsers, web servers, HTML/CSS/JS engines, e-mail clients, e-mail servers etc.🖼️ Web Frameworks
Frameworks and libraries for creating dynamic websites.📎 Writing Tools
Text processing, notetaking, LaTeX packages, document converters, desktop publishing and more.Stars
Adds static typing to JavaScript to improve developer productivity and code quality.
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
magic-trace collects and displays high-resolution traces of what a process is doing
A language that compiles to Bash and Windows Batch
A code rewrite tool for structural search and replace that supports ~every language.
Context sensitive completion for OCaml in Vim and Emacs
Implementations of various type systems in OCaml.
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
A functional programming language based on algebraic effect handlers
moved from https://sourceforge.net/p/min-caml/code/
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Visual Studio Code extension for OCaml
Archive for all Rocq and Coq-related opam packages organized in various repositories
Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, and using fast algorithms. Pijul gathers most of the flame-w…