Stars
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…
The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).
daslang - high-performance statically strong typed scripting language
UNIX-like reverse engineering framework and command-line toolset
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
Hazel, a live functional programming environment with typed holes
Elixir is a dynamic, functional language for building scalable and maintainable applications
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance conc…
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
A fast, compressed, persistent binary data store library for C.
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…
OSS-Fuzz - continuous fuzzing for open source software.
M*LIB is a library of generic and type safe containers / data structures in pure C language (C99 / C11) for a wide collection of container (comparable to the C++ STL).
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems