Stars
The best C-like language that can be implemented in 10kLOC.
A human readable quasi-concatenative programming language
A User-Focused Photo & File Management System
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Optimizer and compiler/toolchain library for WebAssembly
Dafny is a verification-aware programming language
Open source 5G UE and RAN (gNodeB) implementation.
A type-safe C successor that compiles directly to various platforms.
A fast and lightweight native programming language
A very simple webhook server launching shell scripts.
♾ Infisical is the open-source secret management platform: Sync secrets across your team/infrastructure, prevent secret leaks, and manage internal PKI
A massively parallel, optimal functional runtime in Rust
A massively parallel, high-level programming language
Helper application for Linux distributions serving as a kind of "entry point" for running and integrating AppImages
Zen is a general purpose programming language designed to build simple, reliable and efficient programs.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Developer-first OpenSource API DevTool, Postman/Insomnia alternative.
FauxPilot - an open-source alternative to GitHub Copilot server