Formalization project on Quantum Error Correction in Lean

Harness LLMs with Multi-Agent Programming

Convert C++-like code into a Turing Machine representation

Exercise in OpenGL and algorithm implementation

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

automatic differentiation made easier for C++

Time-sensitive affine types for predictable hardware generation

Papers from the computer science community to read and discuss.

🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Dafny is a verification-aware programming language

Examples for the usage of LaTeX

A Gameboy emulator for Emacs

Torch implementation of neural style algorithm

Chrome extension to stay focused during work periods by blocking distracting websites.

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Handwritten math expression parser

A curated list of awesome Deep Learning tutorials, projects and communities.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

The missing Java distribution of native C++ libraries

Tesseract Open Source OCR Engine (main repository)

OpenMM is a toolkit for molecular simulation using high performance GPU code.

Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

Python Script to download hundreds of images from 'Google Images'. It is a ready-to-run code!

A curated list of resources dedicated to scene text localization and recognition

Extracts Exif, IPTC, XMP, ICC and other metadata from image, video and audio files

A JSON parser and validator with a CLI.

Fast and simple homebrew save manager for 3DS and Switch.