Simple crossplatform IDE for people who study programming
SASyLF is an proof assistant for reasoning about programs.
Complete tool for constructing/manipulating languages in digital form
BPLB is a developing programming language.
scientific programming language and graphics
ACP245 Suite: Brazil Telematics protocol implementation
Open Source SEO & SEM Text Creation Tools for free Article Writer
Software for exact computing based on interval arithmetic.
An approach to the Joy programming language.
Tools to support the learning of the C programming language
Tools to select sequences for capture enrichment of next-gen libraries
State machines for Java, FSM.
TextBlob is a Python library for processing textual data