MacOS inside a Docker container.

TeXicode - TeX to Unicode, a Unicode TeX renderer that renders TeX into Unicode by rendering the TeX

A community-supported supercharged document management system: scan, index and archive all your documents

A barebones WebSocket client and server implementation written in 100% Java.

Formalisation of HAMSTERS task models in Alloy.

Alloy with browser-based visualizations

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

A Python-based hardware description language for PCBs for higher-level (block-diagram / system-architecture level) PCB design through libraries of directly reusable subcircuit generators.

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

A programming language designed for typescript type generation

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Composable autodiff for the interactive web.

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語，提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现

perfect programming language

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Magnificent app which corrects your previous console command.

Create beautiful diagrams just by typing notation in plain text.