Nix flake and overlay for ESP8266 and ESP32 development.

A parser for ANSI C, in Lean4.

Nix overlay for Lean 4, and lake2nix

Haskell JIT

Neovim config for NixOS

A framework for extracting code from Agda into a costum language

This package contains the original 2012 AlexNet code.

Grammar library from the EU-financed TALK project, developed at University of Gothenburg, written in Grammatical Framework

Starter project for using Grammatical Framework in Haskell

Frama-C and WP tutorial

The pattern matching swiss knife

Indicators of Compromises (IOC) of our various investigations

A haskell implementation of the Cassowary linear programming solver.

A Web Browser written with Haskell

Introductory course in Computational Physics, including linear algebra, eigenvalue problems, differential equations, Monte Carlo methods and more.

Chebfun: numerical computing with functions.

Chebfun: numerical computing with functions.

LLVM support for the lean theorem prover

Code for simulations on YouTube

Tutorials and the like.

NixOS config for ASUS Chromebook C302CA

A Linux-capable RISC-V multicore for and by the world

Presentations from the course

The CMU Link Grammar natural language parser

Tuned OpenCL BLAS

Training materials and labs for a "Getting Started" level course on COBOL

Protocols for molecular lab work

📚 Freely available programming books

A JavaScript implementation of various web standards, for use with Node.js