Stars
- All languages
- AGS Script
- ANTLR
- Ada
- Arduino
- Assembly
- AutoIt
- Batchfile
- Blade
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Component Pascal
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- E
- Eagle
- Emacs Lisp
- F#
- Forth
- G-code
- GAP
- Go
- Groovy
- HTML
- Haskell
- Haxe
- IDL
- Idris
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MATLAB
- MLIR
- Makefile
- Mako
- Markdown
- Meson
- NASL
- Nim
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Prolog
- Propeller Spin
- Python
- QML
- Racket
- Red
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- ShaderLab
- Shell
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VBA
- VHDL
- Verilog
- Vim Script
- Visual Basic
- Visual Basic 6.0
- Vue
- WebAssembly
- Wren
- XSLT
- Yacc
- Zig
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
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
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].
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
Reverse Engineering Vacuum Robot - 3irobotix CRL-200S
BogdanTheGeek / ch32v003-daplink
Forked from XIVN1987/DAPLinkDAPLink (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.