Budge - a programming language and a theorem prover

Cryptocurrency implementation in Racket with peer to peer network and smart contracts support

Lang Party 2022

Readings on computational logic, interactive theorem proving and functional programming.

📚 Freely available programming books

Library of the ##dependent distributed research support group

Book: Introduction to Dependent Types with Idris

A customizable, open-source ecommerce platform built on WordPress. Build any commerce solution you can imagine.

jLina is a Service-oriented application written in C for Windows, which uses the Winsock library, zlib and ODBC library.