KennanHunter

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

kajiya

💡 Experimental real-time global illumination renderer 🦀

mongoose

MongoDB object modeling designed to work in an asynchronous environment.

react-unity-webgl

React Unity WebGL provides a modern solution for embedding Unity WebGL builds in your React Application while providing advanced APIs for two way communication and interaction between Unity and React.

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

t3-cloudflare

Create T3 App on cloudflare - (Next.js App Router + Cloudflare Pages + Cloudflare D1 + TursoDB + Drizzle)

image

Encoding and decoding images in Rust

ftc-scout

A website for scouting FTC

gun

An open source cybersecurity protocol for syncing decentralized graph data.

AdvantageKit

Monorepo for robot framework and tools

rolldown

Fast Rust bundler for JavaScript with Rollup-compatible API.

screenshot-to-code

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

pingora

A library for building fast, reliable and evolvable network services.

qdrant

Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

Miracode

A sharp, readable, vector-y version of Monocraft, the programming font based on Minecraft

rye

a Hassle-Free Python Experience

32feet

Personal Area Networking for .NET. Open source and professionally supported

zx

A tool for writing better scripts

maybe

The OS for your personal finances

btmesh

iggy

Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.

gqty

The No-GraphQL Client for TypeScript

Extracted-RC

The FTC SDK with all the AARs extracted into modules

minecraftle

A daily puzzle game fusing Wordle and crafting recipes

grimoire

Bookmark manager for the wizards 🧙

goBILDA-Scraper

Scrapes the entire goBILDA website, downloading part .zip files and unzipping them into .step

next-auth

Authentication for the Web.

portfolios

📖 An open-source, self-hosted, portfolio utility for FIRST Tech Challenge teams

PhotonFTC

fluentui

Fluent UI web represents a collection of utilities, React components, and web components for building web applications.