Main Web Site (Online Books). Contribute to RayTracing/raytracing.github.io development by creating an account on GitHub.

An experimental proof assistant based on a type theory for synthetic ∞-categories. - rzk-lang/rzk

Isometric games are extremely popular. Let's learn the theory behind isometric projection and how it is used by gamedevs to write isometric-looking games.

Sometimes you just really need an arena. Sometimes for performance reasons, other times for lifetime-related reasons.
In their most basic forms, they're just a vec with some extra guarantees. However, it's those extra guarantees that matter.
I've found myself…

An overview of how to compile an ARM Cortex-M based project with LLVM/Clang and an exploration of the neat features available in the toolchain such as static analysis to identify memory leaks and deadlocks

A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.

Turnstyle is an graphical esoteric programming language based on lambda calculus.

Scripting language for Rust. Contribute to Eliah-Lakhin/ad-astra development by creating an account on GitHub.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning - granule-project/granule