- All languages
- AGS Script
- APL
- ATS
- Ada
- Agda
- Arduino
- Assembly
- Astro
- Awk
- Batchfile
- Bikeshed
- Blade
- BlitzBasic
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- CartoCSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dart
- Dhall
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Forth
- Fortran
- FreeBASIC
- FreeMarker
- Frege
- G-code
- GAP
- Gleam
- Go
- Grammatical Framework
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Hy
- Idris
- Isabelle
- J
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- LLVM
- LOLCODE
- Lean
- Logos
- Lua
- M
- M4
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Mercury
- Meson
- NASL
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenEdge ABL
- OpenQASM
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- Pony
- PostScript
- Processing
- Prolog
- PureBasic
- PureScript
- Python
- QML
- R
- Racket
- ReScript
- Reason
- Red
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Smalltalk
- Solidity
- Squirrel
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Text
- Twig
- TypeScript
- UrWeb
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- Zig
- hoon
Starred repositories
A simple, fast streaming JSON parser built on standards.
Rust no-std, no-alloc LED control for spatial layouts 🟥🟩🟦
The statistical language R compiled to WebAssembly via Emscripten, for use in web browsers and Node.
Unified data models and interfaces for syntactic and semantic frame ontologies.
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
A smart redirecting gateway for various frontend services
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
A full desktop environment for Linux/Unix using Fyne
A boilerplate to create an ActivityPods-compatible app
Stellar is an AT Protocol web client with emoji reactions.
ATProto OAuth Client for Cloudflare Workers
Litex: A Simple & Elegant Formal Language Learnable in 2 Hours
What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
web interface for labeling content in atproto / Bluesky
Social media bot that posts personalized license plate applications the California DMV received
Skyliner is a native iOS Bluesky client built with Swift and SwiftUI. It connects to the AT Protocol network using ATProtoKit, and features a streamlined interface focused on experience, speed, sim…
basic notification system for atproto stuff using ntfy
A looking glass for the AT Proto Firehose