- San Mateo, California
- https://weiss.city
Highlights
- Pro
Stars
20 utility user-defined type functions for luau.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Radically simple multiplayer / networked WebAssembly
Large-scale, anonymous, randomized logging of type errors in Luau
openblack is an open-source game engine that supports playing Black & White (2001).
a model of MIR and the Rust type/trait system
A precise specification for "Rust lite / MIR plus"
AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
This is the release repository for Fan Control, a highly customizable fan controlling software for Windows.
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Fast 2D n-body simulation with a parallel quad tree construction à la Barnes-Hut.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
An upgrade to Pokémon Crystal. Brings features and content up to date, and adds some original content.
A Rust logic programming library inspired by the *Kanren family of language DSLs.
Symbolic execution of LLVM IR with an engine written in Rust
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
freshly-fermented, dependently-typed mustard, with a substructural aftertaste