Lean 4 programming language and theorem prover

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

Physical Symbolic Optimization

Lemonade helps users run local LLMs with the highest performance by configuring state-of-the-art inference engines for their NPUs and GPUs. Join our discord: https://discord.gg/5xXzkMu8Zk

OrthoRoute: A GPU-accelerated PCB autorouter for KiCad

ultrasonic ranging with no additional components

A GPU with transformation & lighting, rasterization, texture mapping, flat shading, double buffer, z-buffer

Clock that learns its own internal drift to maintain high accuracy with minimal NTP synchronizations

Tools based upon slang for language server purpose

Open source FPGA place and routing toolchain

C++ HDL (Hardware Description Language)

Otterlang programming language 🦦

🛜 TUI for managing bluetooth on Linux

Terminal client for HTTP/GraphQL/gRPC with support for SSH tunnels, WebSockets, SSE, workflows, profiling, OpenAPI and response diffs.

A free portable photo editor focused on pro-grade features, high performance, and maximum usability.

A simple USB sniffer based on Raspberry PI PICO RP2040 (pico-sdk)

55nm CMOS Open Source PDK by ICsprout Integrated Circuit Co., Ltd.

Dictation toggle for Sway/Gnome/Wayland/X11 use. Local/private STT using NVIDIA parakeet-tdt [0.6b||1.1b].

Official repository for LTX-Video

32-Bit OS written in C

Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

Reverse Engineering Vacuum Robot - 3irobotix CRL-200S

DAPLink (CMSIS-DAP) porting to WCH CH32V003 using ch32fun and rv003usb

A remote monitoring & management tool, built with Django, Vue and Go.

A contact solver for physics-based simulations involving 👚 shells, 🪵 solids and 🪢 rods.

The best ChatGPT that $100 can buy.