Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Astrid is a portable, capability-secure operating system for composable software.
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.
Rust port of the TypeScript 7 type checker
An experimental Rust port of the TypeScript 7 compiler (tsc)
- compiler
- rust
- tsc
- typescript
Typed, correct GraphQL requests and responses in Rust
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.
- matlab
- rust
- jit-compiler
- linear-algebra
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Rust SDK for Pocketbase
- pocketbase
- rust
- sdk-rust
- webasm
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Styled Component for yew
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
Open Street Map Public Transport Parser
- openstreetmap
- public-transport
- validator
- parser
Duskmoon UI Component Library.
- yew
- yew-app
- yew-demo
- yew-router