Stars
Snapshotable WebAssembly interpreter from scratch. Includes a time travel debugger
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…
Internet search engine for text-oriented websites. Indexing the small, old and weird web.
[Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Agda is a dependently typed programming language / interactive theorem prover.
A cross-platform declarative UI framework, inspired by SwiftUI.
Build, bundle & ship your Rust WASM application to the web.
attempting to detect smart glasses nearby and warn you
Rosin is a GUI library for Rust that aims to be extremely easy to use.
The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".
A dynamic library providing Virtualization-based process isolation capabilities
A Rust linear algebra library for games and graphics with generics SIMD types.
A GitHub action that detects and automatically closes low-quality and AI slop PRs.
Peer-to-peer, editor-agnostic collaborative editing of local text files.
A free and open source instant messaging and VoIP platform built for friends, groups, and communities. Self-hosting and more activity in this repository is coming very soon! See the README.
NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…
Hackage-Server: A Haskell Package Repository
YosysHQ / abc
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification