gfngfn

react-game-engine

A lightweight Game Engine for the web (React) 🕹⚡🎮

q5

Creative coding framework for Python

web-mode

web template editing mode for emacs

lsp-ui

UI integrations for lsp-mode

lsp-haskell

lsp-mode :heart: haskell

ghq-handbook

pixijs

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

ott

The Ott tool for writing definitions of programming languages and calculi

autoware

Autoware - the world's leading open-source software project for autonomous driving

relly

RDBMS のしくみを学ぶための小さな RDBMS 実装

gh-file-grass

A visualizer of git repository statistics like the 'github grass'.

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

misskey

🌎 An interplanetary microblogging platform 🚀

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

GPTranslator

Universal and Multilingal Translpiler based on ChatGPT API (gpt-3.5-turbo and/or gpt-4)

noteworthy

Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)

umo

A programming language (WIP)

inside-ocaml

Documentation of the OCaml implementation

icer_compression

Progressive, error tolerant, wavelet-based image compression algorithm

typical

Data interchange with algebraic data types.

p5doc

p5.js diagram within rustdoc

ocamlrep

Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange between OCaml and Rust

erq

Erq - Easy Relational Query Language

satysfi-actuarial

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

yt-dlp

A feature-rich command-line audio/video downloader

cotton

A programming language

omnirev

Typed Reversible Programming Language

lean4

Lean 4 programming language and theorem prover