formalization of the Dependent Object Types (DOT) calculus

Dependent Object Types (DOT), bottom up

Formalization of the Dependent Object Types (DOT) calculus

FFMPEG Assembly Language Lessons

The modern Java bytecode editor

A final project for Machine Learning at University of Wrocław

An experimental programming language that combines effect handlers and implicit parameters

Lecture notes for the Type Systems course given in Autumn 2023

📜 Haskell course info, plan, video lectures, slides

Formally verified algorithms in Coq: concepts and techniques

A collaborative bibliography of work related to the theory and practice of computational effects

RISC-V out-of-order core for education and research purposes

FP category theory jargon explained on a single A4 page

A fully featured React components library

Typesafe wrapper for Apache Spark DataFrame API

🧱 Compiler frontend for developing great programming languages

Parser combinator library written in Ocaml

The Scala 3 compiler, also known as Dotty.

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Create graphs from your CommonJS, AMD or ES6 module dependencies

⚡️ The Missing Fullstack Toolkit for Next.js

TypeScript-first schema validation with static type inference

A React-based UI toolkit for the web

Simple, open source, lightweight and privacy-friendly web analytics alternative to Google Analytics.

Hey wes what settings do you use?

A cat(1) clone with wings.

My config dotfiles

My configuration files

A web framework for Rust.