Starred repositories
An interpreter of Hagino's Categorical Programming Language (CPL).
STON - Smalltalk Object Notation - A lightweight text-based, human-readable data interchange format for class-based object-oriented languages like Smalltalk.
From Zero to QED: An informal introduction to formality with Lean 4
A little book explaining a simple reflective kernel
Minimalistic framework on top of Teapot to easily provide REST Services
Zinc HTTP Components is an open-source Smalltalk framework to deal with the HTTP networking protocol.
Besplatan udžbenik za početno učenje funkcionalnog programiranja (Haskell), na srpskom jeziku.
A little exercise to have fun with countries and pharo of course!
Open source LaTeX of Pharo By Example
A hardware-aware guide to data structures for system software engineers.
Microdown is a cleaned and simpler markdown but with more powerful features such as extensions.
To get an overview of the book building status
SWI-Prolog plugin for the asdf version manager
A tool-agnostic formal specification language for OCaml.
QuickCheck inspired property-based testing for OCaml.
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Benchmark programs and supporting scripts for measuring the performance of the SML/NJ system
Generic package manager for Standard ML libraries and programs