Marrying Grounding DINO with Segment Anything & Stable Diffusion
TLC is an explicit state model checker for specifications in TLA+
Rust async runtime based on io-uring
NicheNet: predict active ligand-target links between interacting cells
A flexible toolkit for VASP high-through materials simulations
A modern cross-platform low-level graphics API
High speed aerodynamic CFD solver
High-Resolution Image Synthesis with Latent Diffusion Models
Mini website for testing both general CS knowledge and enforce coding
General Mission Analysis Tool
RNA-seq data QC
Create a winlocker for free and high quality!!!
A GUI in C# .NET 4 for mkvextract (MKVToolNix)
High-performance JavaScript R-tree-based 2D spatial index
Stable Diffusion WebUI Forge is a platform on top of Stable Diffusion
Tundra is a code build system that tries to be accurate and fast
An open source implementation of the Ultima Online Classic Client
The Most Scalable MQTT Broker for IoT
A powerful, lighweight and cross-platform C/C++ IDE
Computer Algebra System written in Common Lisp
Plays music in 432Hz