p-org / P
The P programming language.
☆3,205Updated this week
Alternatives and similar repositories for P:
Users that are interested in P are comparing it to the libraries listed below
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,809Updated 2 weeks ago
- Cranelift code generator☆2,491Updated 4 years ago
- A Proof-oriented Programming Language☆2,809Updated this week
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,338Updated 2 years ago
- C to Rust translator☆2,167Updated 6 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 7 years ago
- A friendly programming language from the future☆5,953Updated this week
- Lucet, the Sandboxing WebAssembly Compiler.☆4,053Updated 3 years ago
- Dafny is a verification-aware programming language☆3,021Updated this week
- Maintainable configuration files☆4,284Updated last week
- Koka language compiler and interpreter☆3,460Updated last week
- A static, type inferred and embeddable language written in Rust.☆3,286Updated 3 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,631Updated 4 months ago
- A framework for distributed systems verification, with fault injection☆6,981Updated 2 weeks ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,229Updated 5 months ago
- Programming Language Theory λΠ☆5,272Updated 3 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,875Updated last week
- WebAssembly specification, reference interpreter, and test suite.☆3,216Updated 2 weeks ago
- A new kind of terminal☆2,315Updated 7 years ago
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,654Updated 6 years ago
- Wrangling Untrusted File Formats Safely☆4,320Updated this week
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,617Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,573Updated 9 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/tfs☆2,947Updated last year
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,685Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆2,662Updated 2 weeks ago
- the champagne of beta embedded databases☆8,368Updated 2 months ago
- A modern proof language☆3,644Updated 2 months ago
- lamdu - towards the next generation IDE☆1,864Updated this week
- A Dependently Typed Functional Programming Language☆3,448Updated last month