amruthpillai/Ethereum-Masterclass

Learning the ropes of developing Decentralized Applications on the Ethereum Blockchain using…

takassh/rust-practice

To learn rust

adamrk/llvm-ocaml-tutorial

The LLVM tutorial using OCaml

camllight/camllight

The Caml Light implementation of the Caml language

amruthpillai/Erlang-Phoenix-Exploration

A repository to explore the Elixir Programming Language and Phoenix Framework to build resilient…

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design