Starred repositories
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
A collaborative bibliography of work related to the theory and practice of computational effects
A fast, flexible, fused effect system for Haskell
Source material for Algebra-Driven Design
♊ higher-order, no-boilerplate monads
A macro that allows to conjure a Free Monad for every Functor. This builds on the traits from the higher crate, and re-exports said crate.
Type-safe, type-level and stateless Rust graphics framework
WebAssembly Micro Runtime (WAMR)
JavaScript toolchain for working with WebAssembly Components
A language binding generator for WebAssembly interface types
A Cargo subcommand for creating WebAssembly components based on the component model proposal.
A lightweight library for portable low-level GPU computation using WebGPU.
Tool for Creating and Exploring Flow-Based Programming Diagram Hierarchies
Vulkan/CUDA/HIP/OpenCL/Level Zero/Metal Fast Fourier Transform library
General purpose GPU compute framework built on Vulkan to support 1000s of cross vendor graphics cards (AMD, Qualcomm, NVIDIA & friends). Blazing fast, mobile-enabled, asynchronous and optimized for…
Low-overhead sampling profiler and tracer for Ruby for Linux
A modular implementation of timely dataflow in Rust
Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer for the Myria project.
DuckDB is an analytical in-process SQL database management system
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
Functional language with intensional polymorphism and first-class staging.
A Framework for Runtime Code Generation and Compiled DSLs
A framework for building database systems by high-level programming, and getting really good performance nevertheless.