Systems language with linear types and capability-based security.
- linear-types
- compiler
- capabilities
88,573 visible repositories in the index
313–336 of 812 · Most stars
Systems language with linear types and capability-based security.
Concurrent data pipelines in Python >>>
A succinct parallel concurrency API for PHP8
Producer and consumer actors with back-pressure for Elixir
A collection of well known Algebraic Data Types for your utter enjoyment.
Packing your Ruby application into a single executable.
URL parser for Rust
Concrete: TFHE Compiler that converts python programs into FHE equivalent
A bounded multi-producer multi-consumer concurrent queue written in C++11
Discover your ranking on github :
Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.
PHP Standard Library
Compile your Julia Package
Generic purpose Just-In-time compiler for Rust.
Build retro games using WebAssembly for a fantasy console.
Runtime for executing procedural macros as WebAssembly
Fast and concurrent scripting.
Map over promises concurrently
Golem is a secure, reliable runtime for agents, tools, and artifacts, powered by lightweight durable WASM VMs, with permissions agents can't bypass.
Program your microcontrollers in a fast and robust high-level language.
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
Awesome List of resources on Agile Software Development.
Coroutines, structured concurrency and CSP for Swift on macOS and Linux.
Source code for Oracle VirtualBox