1.astrid-runtime / astrid
Astrid is a portable, capability-secure operating system for composable software.
Ranked by Attention Score: stars gained over the last 180 complete days
1–100 of 170 by Attention Score · May 8, 2026 – Nov 3, 2026 (UTC)
Astrid is a portable, capability-secure operating system for composable software.
Empowering everyone to build reliable and efficient software.
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Staging repo for development of native port of TypeScript
Rust-based platform for the Web
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
⭐️ A friendly language for building type-safe, scalable systems!
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
Open Machine Learning Compiler Framework
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
Productive, portable, and performant GPU programming in Python.
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Automatically generates beautiful and easy-to-read ER diagrams from your database.
An open-source C++ library developed and used at Facebook.
High-level tracing language for Linux
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
Netty project - an event-driven asynchronous network application framework
The Crystal Programming Language
Bootstrap Blazor is an enterprise-level UI component library based on Bootstrap and Blazor.
Fast Open-Source Search & Clustering engine × for Vectors & Arbitrary Objects × in C++, C, Python, JavaScript, Rust, Java, Objective-C, Swift, C#, GoLang, and Wolfram 🔍
A configuration as code language with rich validation and tooling.
Cross-platform game engine in Rust.
A blazingly fast multi-language serialization framework for idiomatic domain objects, schema IDL, and cross-language data exchange.
eBPF Observability - Distributed Tracing and Profiling
Facilitating high-level interactions between Wasm modules and JavaScript
Optimizer and compiler/toolchain library for WebAssembly
The most widely used Python to C compiler
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
High performance server-side application framework
AboutLibraries automatically collects all dependencies and licenses of any gradle project (Kotlin MultiPlatform), and provides easy to integrate UI components for Android and Compose Multiplatform environments
A TypeScript-like language for WebAssembly.
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Ultra fast asyncio event loop.
Comlink makes WebWorkers enjoyable.
WHATWG-compliant and fast URL parser written in modern C++, part of Internet Archive, Node.js, Clickhouse, Redpanda, Kong, Telegram, Adguard, Datadog and Cloudflare Workers.
OpenCV wrapper for .NET
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.
🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
C++ Parallel Computing and Asynchronous Networking Framework
📦✨ your favorite rust -> wasm workflow tool!
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Build, bundle & ship your Rust WASM application to the web.
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
🚀 Coroutine-based concurrency library for PHP
Super timeline all the things
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
Compiles Java bytecode to JavaScript, WebAssembly and C
GoMock is a mocking framework for the Go programming language.
An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
Native PostgreSQL driver for the Rust programming language
Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.
🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.
SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings for Python, Rust, C, C++, Swift, JS, and Go 📐
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
🌴 Empowering everyone to build reliable and efficient smart contracts.
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
:balloon: Modernized and sophisticated tooltips, fully customizable with an arrow and animations for Compose and Kotlin Multiplatform.
Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
📌 异步线程池框架,支持线程池动态变更&监控&报警,无需修改代码轻松引入。Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
The Ballerina Programming Language
🔍 Tiny, full-text search engine for static websites built with Rust and Wasm
Ultra-lightweight JavaScript engine for the Internet of Things.
A C# parser construction toolkit with high-quality error reporting
Java client for Kubernetes & OpenShift
Arnold Schwarzenegger based programming language
Parser Building Toolkit for JavaScript
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
Simple, elegant, Pythonic functional programming.
MetaCall: The ultimate polyglot programming experience.
Rust bindings for writing safe and fast native Node.js modules.
Less. The dynamic stylesheet language.
Single-header c99 accelerated float/double parsing. Port of the fast_float library.
Rust virtual machine and JIT compiler for eBPF programs
Efficient, easy-to-use, and fast PHP JSON stream parser
Develop and export WebXR experiences using Unity WebGL
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Secure firmware framework focusing on developer experience
Universal cheminformatics toolkit, utilities and database search tools