larsr

hanporten

An information page about the local customer interface in Swedish electricity meters. Also called the HAN port or P1 port

alpha_zero

A PyTorch implementation of DeepMind's AlphaZero agent to play Go and Gomoku board games

certicoq

A Verified Compiler for Gallina, Written in Gallina

csio

Compressed Stream Input/Output library

dsss17

Lecture material for DeepSpec Summer School 2017

ehn-sign-verify-python-trivial

Extremely minimal python implementation of the eHN-S protocol.

idzip

Automatically exported from code.google.com/p/idzip

lambda-calc

A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK

larsr.github.io

web info

LivePortrait

Make one portrait alive!

metacoq

Metaprogramming in Coq

nixpkgs

Nix Packages collection & NixOS

open-webui

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

reactive-wx-test

rStar

seekgzip

A module for random seek on gzip stream

spring17

Problem Sets for MIT 6.887 Formal Reasoning About Programs

TimeSeries

Time series forecasting tutorials

what4

Symbolic formula representation and solver interaction library