Stars
The English version of 14 lectures on visual SLAM.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
3D-printable adapters to curve the ZSA Voyager keycaps
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Catalog of Elixir-specific code smells
🦀 Small exercises to get you used to reading and writing Rust code!
Compiled list of links from "Ask HN: Where can I post my startup to get beta users?"
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
Educational blog posts for Rust beginners
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Example project to show how to use components lazy loading in ReasonReact
Writeups for HacktheBox 'boot2root' machines
A simple example of a ppx with Reason and esy
Intel CPU undervolting and throttling configuration tool
Medium to hard Rust questions with explanations
CRDT Tutorial for Beginners (a digestible explanation with less math!)
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
Master programming by recreating your favorite technologies from scratch.
A tutorial aimed to give an understanding of common dynamic programming problems