larsr
Follow
-
tidslinje Public
Händelser i världen från år 1000 till idag presenterade som en matris
Python UpdatedOct 23, 2026 -
tacscm-challenge Public
Forked from rekrevs/tacscm-challengeTAC SCM Challenge kit: server, rules, SDK, house agents, runner
Rust MIT License UpdatedOct 16, 2026 -
-
-
-
mousewheel-reverse Public
Reverse mouse scroll wheel direction on macOS without affecting trackpad
C UpdatedFeb 6, 2026 -
open-webui Public
Forked from open-webui/open-webuiUser-friendly AI Interface (Supports Ollama, OpenAI API, ...)
JavaScript Other UpdatedDec 31, 2025 -
mcp-language-server Public
Forked from isaacphi/mcp-language-servermcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
Go BSD 3-Clause "New" or "Revised" License UpdatedDec 30, 2025 -
cmdbuttons Public
Opens a window with configurable CLI command buttons and stdout
Python UpdatedNov 24, 2025 -
-
nanochat Public
Forked from karpathy/nanochatThe best ChatGPT that $100 can buy.
Python UpdatedOct 14, 2025 -
llm-azure Public
Forked from fabge/llm-azureLLM access to the Azure OpenAI SDK
Python Apache License 2.0 UpdatedSep 26, 2025 -
-
nix-devcontainer Public
Forked from xtruder/nix-devcontainerSwiss army knife container for vscode development environments
Go MIT License UpdatedMay 15, 2025 -
-
alpha_zero Public
Forked from michaelnny/alpha_zeroA PyTorch implementation of DeepMind's AlphaZero agent to play Go and Gomoku board games
Python MIT License UpdatedOct 26, 2024 -
LivePortrait Public
Forked from KlingAIResearch/LivePortraitMake one portrait alive!
Python MIT License UpdatedJul 8, 2024 -
certicoq Public
Forked from CertiRocq/certirocqA Verified Compiler for Gallina, Written in Gallina
Coq MIT License UpdatedDec 18, 2023 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedDec 13, 2023 -
metacoq Public
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedDec 11, 2023 -
what4 Public
Forked from GaloisInc/what4Symbolic formula representation and solver interaction library
Haskell UpdatedAug 17, 2023 -
lambda-calc Public
Forked from NeuralCoder3/lambda-calcA deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK
Coq UpdatedApr 20, 2023 -
hanporten Public
Forked from u9n/hanportenAn information page about the local customer interface in Swedish electricity meters. Also called the HAN port or P1 port
-
ehn-sign-verify-python-trivial Public
Forked from ehn-dcc-development/ehn-sign-verify-python-trivialExtremely minimal python implementation of the eHN-S protocol.
Python European Union Public License 1.2 UpdatedJun 26, 2021 -
-
TimeSeries Public
Forked from greenlytics/TimeSeriesTime series forecasting tutorials
Jupyter Notebook UpdatedDec 20, 2018 -
dsss17 Public
Forked from DeepSpec/dsss17Lecture material for DeepSpec Summer School 2017
Coq UpdatedNov 2, 2017 -
seekgzip Public
Forked from popacai/seekgzipA module for random seek on gzip stream
C UpdatedAug 31, 2017 -
spring17 Public
Forked from mit-frap/spring17Problem Sets for MIT 6.887 Formal Reasoning About Programs
Coq UpdatedMay 10, 2017 -
idzip Public
Forked from fidlej/idzipAutomatically exported from code.google.com/p/idzip
Python UpdatedApr 12, 2017