Dminor is a functional language which combines the concepts of refinement type and type-test. It has a powerful type-checking algorithm which can reduce dynamic tests and detect errors statically. The type checker uses an SMT Solver to calculate subtyping quickly.
It allows you to become familiar with the operations of computer-based testing
Introductory video and text lesson to C# Programming Language
Create, view, edit and convert GPX, CSV, MGLN, OV2, XLS and KML POI files, add icons, MP3s and JPGs, and
PMD-based NSFW dungeon roguelite
A furry themed edging trainer in the form of a webapp! Use pictures you like, do as you're told, and make it last!
Interact with forest spirits
An additional side job where Karryn is complete control instead!
We don't have a description for the Amber Embraces app yet.
A Visual Novel with adult content for Windows, Linux, Mac and Android
Comments