Tool support for the Z formal notation
External plugins for modnlp/teccli
12÷16×3=9÷4
Equation of stock trading simplified to game of moving resizing balls
Bit level lambda continuations and nothing else - Queue automata
Software tool for Research in Computational Population Genetics
mglua stands for MathGL for Lua.
Sphere surface layers of visual cortex approach maximum info density
A Python IDE optimized for scripting and easy access to documentation.