Collection of resources for research concerning Machine Learning and Formal Methods.

🪭 Serverless redistribution of PDF.js for edge environments

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

Multiple NVIDIA GPUs or Apple Silicon for Large Language Model Inference?

Create and animate hand-drawn annotations on a web page

A free, open-source SaaS app starter for React & Node.js with superpowers. Full-featured. Community-driven.

The web framework for content-driven websites. ⭐️ Star to support our work!

Seamlessly integrate LLMs as Python functions

React Native binding of whisper.cpp.

Convert documents to structured data effortlessly. Unstructured is open-source ETL solution for transforming complex documents into clean, structured formats for language models. Visit our website …

Harness LLMs with Multi-Agent Programming

Solve puzzles. Improve your pytorch.

Solve puzzles. Learn CUDA.

LLM inference in C/C++

Inference Llama 2 in one file of pure C

A flask template with Bootstrap, asset bundling+minification with webpack, starter templates, and registration/authentication. For use with cookiecutter.

Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM

A simple, minimal, classless stylesheet for simple HTML pages

A FREE comprehensive online Python development tutorial FOR KIDS utilizing an official BBC micro:bit Development Board going step-by-step into the world of Python for microcontrollers.

Where I keep my Python notes for starting projects

BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

An educational resource to help anyone learn deep reinforcement learning.

Street View images from random locations in a given country

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

WebAssembly System Interface

A full featured, fast Command Line Argument Parser for Rust

🦀 Small exercises to get you used to reading and writing Rust code!

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages