Pinned Repositories
hanporten
An information page about the local customer interface in Swedish electricity meters. Also called the HAN port or P1 port
larsr's Repositories
larsr/hanporten
An information page about the local customer interface in Swedish electricity meters. Also called the HAN port or P1 port
larsr/alpha_zero
A PyTorch implementation of DeepMind's AlphaZero agent to play Go and Gomoku board games
larsr/certicoq
A Verified Compiler for Gallina, Written in Gallina
larsr/cmdbuttons
Opens a window with configurable CLI command buttons and stdout
larsr/csio
Compressed Stream Input/Output library
larsr/dsss17
Lecture material for DeepSpec Summer School 2017
larsr/ehn-sign-verify-python-trivial
Extremely minimal python implementation of the eHN-S protocol.
larsr/idzip
Automatically exported from code.google.com/p/idzip
larsr/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/larsr.github.io
web info
larsr/LivePortrait
Make one portrait alive!
larsr/llm-azure
LLM access to the Azure OpenAI SDK
larsr/metacoq
Metaprogramming in Coq
larsr/my-pwa
larsr/nanochat
The best ChatGPT that $100 can buy.
larsr/nix-devcontainer
Swiss army knife container for vscode development environments
larsr/nixpkgs
Nix Packages collection & NixOS
larsr/open-webui
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
larsr/reactive-wx-test
larsr/rStar
larsr/seekgzip
A module for random seek on gzip stream
larsr/spring17
Problem Sets for MIT 6.887 Formal Reasoning About Programs
larsr/TimeSeries
Time series forecasting tutorials
larsr/what4
Symbolic formula representation and solver interaction library