Stars
DuckDB is an analytical in-process SQL database management system
Seamless operability between C++11 and Python
A set of introductory tutorials to modeling in computational neuroscience.
Research oriented game engine exploring state of the art rendering techniques
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
Probabilistic language based on pattern matching and constraint propagation, 153 examples
What financial info would I have wanted to know when I was 22 and jumping into tech?
Curated list of resources on testing distributed systems
An open-source tool for visual and modular block programming in python
Fully automated homelab from empty disk to running services with a single command.
a cross-platform, terminal-based music player, audio engine, metadata indexer, and server in c++
A model checker for implementing distributed systems.
A self contained OBS -> FTL -> WebRTC live streaming server. Comprised of 3 parts once configured anyone can achieve sub-second OBS to the browser livestreaming
An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.
🚀 Detect backward incompatible migrations for your django project
Application of formal systems to model biological systems
Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Create beautiful diagrams just by typing notation in plain text.
A toolkit for reproducible reinforcement learning research.
Language-Agnostic SEntence Representations
Collections of robotics environments geared towards benchmarking multi-task and meta reinforcement learning
Microsoft Threat Intelligence Security Tools