Sudoku solving in python packaging

Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)

Solving the 1 Billion Row Challenge in MPL

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Programming language agnostic type construction language based on polynomials.

agda-mode on VS Code

MLB support for CM (the SML/NJ Compilation and Library Manager)

A beautiful, simple, clean, and responsive Jekyll theme for academics

Render LaTeX and TikZ diagrams in your notes

x86 C compiler written in untyped lambda calculus

Selected Papers of Dana S. Scott

Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md

Definitions from PFPL

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

An example of how to use SML/NJ's Visible Compiler APIs

Standard ML of New Jersey

A stepping debugger for Standard ML (SML)

Type-directed derived traits in SML

🔙 Backward lists for OCaml

PL syntax macros.

The MaPLe compiler for efficient and scalable parallel functional programming

Agda formalisation of second-order abstract syntax

A custom parser/auto-formatter for Standard ML

Generation of abstract binding trees

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clipboard.

SML# compiler

Structure editor for a basic typed functional programming language

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com