Stars
This repo contains a new way to use bloom filters to do lossless video compression
Pono: A flexible and extensible SMT-based model checker
Course Material for Ardan Labs - Ultimate Rust: Foundations
The repository is for safe reinforcement learning baselines.
Frequently asked questions about Entity Component Systems
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams
A software project to provide the target tracking community with a framework for the development and testing of tracking algorithms.
Fast, light, simple Docker containers & Linux machines
Beautiful and responsive UI components and templates for React and Vue (soon) with Tailwind CSS.
A markup-based typesetting system that is powerful and easy to learn.
A collection of script depicting the strange quirks of programming languages.
Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.
Train transformer language models with reinforcement learning.
A curated list of software and architecture related design patterns.
Performance-portable, length-agnostic SIMD with runtime dispatch
Library to analyze and collect metrics on source code
GTSAM is a library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse m…
Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors
Windows XP OVA virtual image file to be used on Virtual Box, VmWare.
GNU Bison and GNU Flex C++ example
Working towards typed, first-order unification modulo a set of equational axioms