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 work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.

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 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version in translation

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.