- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Crystal
- Curry
- DIGITAL Command Language
- Dart
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- Forth
- Gleam
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Logtalk
- Lua
- Makefile
- Markdown
- Max
- Mercury
- Mustache
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Prolog
- PureScript
- Python
- R
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Shen
- Smalltalk
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- Zig
Starred repositories
a 16 track synthesizer/sampler for the playdate console
A high performance Game Boy emulator for Playdate
A configuration framework that enhances Claude Code with specialized commands, cognitive personas, and development methodologies.
A stream-based runtime-verification framework for generating hard real-time C code.
A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
Minimal C-lang library for creating classic arcade-like mini-games running on devices and browsers
Nim bindings with extra features for the Playdate SDK
MacPaint is the drawing program application which interacts with the user, interprets mouse and keyboard requests, and decides what is to be drawn where. The high-level logic is written in Apple Pa…
Explore 1D cellular automata in the browser
Unidimensional Cellular Automata Explorer managing _arbitrary rules_
⭐️ A friendly language for building type-safe, scalable systems!
Full-stack framework for building Multi-Agent Systems with memory, knowledge and reasoning.
🖌️ pxltrm - [WIP] A pixel art editor inside the terminal
A blazing fast, low footprint pixel art editor built with raylib, featuring a customizable canvas, multiple color palettes, and frame management for animations.
An introduction to programming language theory in Agda