Runtime verification system for Java, using AspectJ for instrumentation.

My Nix home

Example NixOS project

A simple, easy to use PowerShell script to remove pre-installed apps from Windows, disable telemetry, remove Bing from Windows search as well as perform various other changes to declutter and impro…

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Learning FPGA, yosys, nextpnr, and RISC-V

Koka language compiler and interpreter

Boilerplate code to set up a minimalistic Tezos baker capable of baking, accusing, and paying its delegators.

Haskell FilePath core library

Tensors and Dynamic neural networks in Python with strong GPU acceleration

GNU toolchain for RISC-V, including GCC

Apple array system

JavaScript runtime and compute platform build on Tezos Smart Rollups

JDK main-line development https://openjdk.org/projects/jdk

Implementation for Tezos of the CMTAT token developed by CMTA to tokenise securities in compliance with the Swiss law.

A simple scheduler for OCaml 5

An actor-model multi-core scheduler for OCaml 5 🐫

TUI multiline fuzzy document finder

Basic implementations of standard cryptography algorithms, like AES and SHA-1.

A prototype phase based polarimeter

Unofficial WASI builds of CPython

WASI-enabled WebAssembly C/C++ toolchain

The Python programming language

A repo to track the progress of Python on WebAssembly (WASM)

WASM compatible RPython fork

Python for the Java Platform

ATProto Feed Generator Starter Kit

A TypeScript-like language for WebAssembly.

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

Realtime grep for OCaml/Coq sources available on opam