Summer of Code
Science and Medicine
End User Applications
Programming Languages and Development Tools
Graphics / Video / Audio / Virtual Reality
Social / Communications
Data and Databases
Code for the book "Artificial Intelligence: A Modern Approach"
Open hardware and software for physical computing
From distributed systems, to robust servers and language design on the Erlang VM
Tools for cross-platform Python application development.
Boost C++ Libraries
Boost provides free peer-reviewed portable C++ source libraries
Computational Thinking for all through visual programming on phones
Preventing programming errors before they happen, via easy-to-use verification
Linting and Fixing Code for All Languages
Eta is a dialect of Haskell on the Java Virtual Machine.
Fast, scalable, distributed revision control system
GNU Compiler Collection (GCC)
Free Your Numbers
Standardized, statically typed, lazy functional programming language
An open source, console package manager for macOS
Community of Java projects around JBoss Middleware
Jenkins is an open-source automation server
Java library that provides graph data-structures and algorithms.
Programming Languages Research with emphasis on the Lua language
LLVM Compiler Infrastructure
LLVM Compiler Infrastructure
The package manager for the Lua programming language
Vim-fork focused on extensibility and usability
Open Source Robotics Foundation
Our mission is to support the development of OSS for use in robotics
An extensible cross-language static code analyzer.
Promoting Polyhedral Compilation
Automate and improve GitHub workflows
Visual Programming Language for Realtime Multimedia
R project for statistical computing
R is a free software environment for statistical computing and graphics
Read the Docs
Read the Docs hosts documentation for the open source community.
The Ruby programming language, libraries, and tools
The programming language where object-oriented meets functional.
Framework for writing high-performance server applications on modern hardware
Software and Computational Systems Lab at LMU Munich
Software Analysis, Software Verification, and Benchmarking
Promoting open source compliance through standard communication of SW licenses.
HPX: The C++ Standard Library for Parallelism and Concurrency
Swift is a high-performance system programming language.
The Center for Connected Learning and Computer-Based Modeling
NetLogo: A language and IDE for programming and scientific simulations
The Java Pathfinder Team
JPF is a highly extensible Java virtual machine built for software verification
The Processing Foundation
Our goal is to empower people of all backgrounds to learn how to program.
The Qt Project
The Qt Project co-ordinates the development of the Qt software framework.
TLA+ is a formal specification language used to design, model and verify systems
webpack is THE build tool for modern web applications run on NodeJS
Search for projects, organizations or usernames