- All languages
- ActionScript
- Agda
- Assembly
- Astro
- Awk
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Crystal
- Cuda
- Cython
- Dart
- Diff
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Forth
- Fortran
- GDScript
- Gherkin
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Io
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Less
- Liquid
- Lua
- Luau
- M4
- MDX
- Makefile
- Markdown
- Mathematica
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- OpenEdge ABL
- PHP
- PLpgSQL
- Perl
- PowerShell
- Prolog
- Pug
- Python
- R
- RPC
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- SaltStack
- Sass
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Vim Script
- Vim Snippet
- Vue
- Web Ontology Language
- WebAssembly
- XSLT
- YAML
- Zig
- reStructuredText
Starred repositories
Pure-Rust Ogg container — demuxer + muxer with page-granule bisection seek
Pure-Rust FLAC codec + container — bit-exact decoder + encoder with SEEKTABLE seek
Pure-Rust OpenType/CFF font parser for the oxideav framework — sfnt + CFF + Type 2 charstrings (cubic-Bezier outlines)
did:webvh (did:web + Verifiable History). Formerly called did:tdw.
Generic Health Checking Framework for systemd
Add classes, identifiers and attributes to your markdown with {} curly brackets, similar to pandoc's header attributes
OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)
A custom Reaper theme with a heavy focus on functionality.
A model checker for implementing distributed systems.
(at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4
lcgamboa / qemu
Forked from qemu/qemuThis fork contains a modified version of the Espressif QEMU used by the PICSimLab simulator. This version has been altered to compile QEMU as a dynamic library. Additionally, this fork adds support…
Emulate Arduino, ESP32 & Raspberry Pi. in your browser. Write code, compile, and run on 19 real boards — Arduino Uno, ESP32, ESP32-C3, Raspberry Pi Pico, Raspberry Pi 3, and more. No hardware, no c…
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Easy-to-use WolfSSL wrapper for ESP32 with NetworkClientSecure (WiFiClientSecure) API compatibility
Lightweight TCP/IP stack with no dynamic memory allocations
meshtastic / json11
Forked from dropbox/json11A tiny JSON library for C++11.
Header-only C/C++ Meshtastic LoRa protocol stack for embedded systems.
Arduino core for the ESP32 family of SoCs
Rust-powered API framework for Django achieving 60k+ RPS. Uses Actix Web for HTTP, PyO3 for Python bridging, msgspec for serialization. Decorator-based routing with built-in auth and middleware.
Beautiful & consistent icon toolkit made by the community. Open-source project and a fork of Feather Icons.
Test React Native with Vitest — against real React Native, or a fast mock. One plugin, zero config.
Butterchurn is a WebGL implementation of the Milkdrop Visualizer
This repository contains all textures originally released with Milkdrop, plus a good number of other textures used in a large number of presets.
Winamp 2 reimplemented for the browser
Presets for Butterchurn Visualizer, converted from Milkdrop presets
Convert Milkdrop presets to Butterchurn JSON format in Node