- Redwood City, California
- https://weiss.city
Highlights
- Pro
Stars
- All languages
- Agda
- Assembly
- Bikeshed
- C
- C#
- C++
- CSS
- Common Lisp
- Coq
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Koka
- Lua
- Luau
- Mercury
- OCaml
- Objective-C
- PHP
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- WebAssembly
A web playground for type checking, compiling, running, and inspecting Luau code.
A GitHub social experiment - What if all pull requests were automatically accepted?
The first project I ever made. Terminal interface for accessing player/team stats for NESCAC soccer 21/22 season. Written in Java.
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
A standalone Luau runtime for general-purpose programming
Blip is a cross-platform fully scriptable game engine and distribution platform.
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 small, fast, and embeddable programming language based on Lua with a gradual type system.
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.