Stars
- All languages
- ANTLR
- Agda
- ApacheConf
- Assembly
- Boogie
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dart
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Frege
- GDScript
- Go
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LiveScript
- Lua
- Makefile
- Markdown
- NSIS
- Nim
- OCaml
- Objective-C
- Objective-J
- Oz
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- Racket
- Ragel in Ruby Host
- Reason
- Ren'Py
- Ruby
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Standard ML
- Stylus
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- WebAssembly
- Wren
- XSLT
- Zig
- ooc
An open source implementation of the Fountain screenplay formatting language.
Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.
A pure Ruby code highlighter that is compatible with Pygments
The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
OpenType font that disassembles Z80 instructions
OpenToonz - An open-source full-featured 2D animation creation software
Athena Crisis is a modern-retro turn-based tactical strategy game. Athena Crisis is open core technology.
An alternative BEAM implementation, designed for WebAssembly
SD card drivers for Adafruit CircuitPython
A post-apocalyptic actionRPG. Now on Steam!
Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
A component library providing a Pillow-compatible drawing canvas, and other functionality to support drawing primitives and text-rendering capabilities for small displays on the Raspberry Pi and ot…
Python module to drive a SSD1306 / SSD1309 / SSD1322 / SSD1325 / SSD1327 / SSD1331 / SSD1351 / SH1106 OLED
Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
A repository for the stack switching proposal.
The Ott tool for writing definitions of programming languages and calculi
Animated sprite editor & pixel art tool (Windows, macOS, Linux)
Lisp-based in-browser toy operating system
WebAssembly Micro Runtime (WAMR)
Optimizer and compiler/toolchain library for WebAssembly