Skip to content
View larsr's full-sized avatar

Organizations

@SICS

Block or report larsr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Sky-T1: Train your own O1 preview model within $450

Python 3,144 317 Updated Mar 22, 2025

HunyuanVideo: A Systematic Framework For Large Video Generation Model

Python 9,372 785 Updated Mar 12, 2025

Official repository for the Boltz-1 biomolecular interaction model

Python 1,655 233 Updated Mar 11, 2025

OpenCL, SDR, TDD/FDD LTE cell scanner, full stack from A/D samples to SIB ASN1 messages decoded in PDSCH, (optimized for RTL-SDR HACKRF and BladeRF board)

C 718 201 Updated Jan 26, 2024

llama3 implementation one matrix multiplication at a time

Jupyter Notebook 14,288 1,174 Updated May 23, 2024

Visual Studio extension for Codeium

C# 187 49 Updated Mar 11, 2025
Coq 5 2 Updated Mar 19, 2025

Building a compiler to WASM step-by-step

Haskell 13 1 Updated Mar 23, 2025

This repository contains the reference implementation of the additive autoencoder. The technique is derived and experiments summarized in Manuscript. SupplementaryInformation documents all the expe…

MATLAB 13 1 Updated Oct 13, 2022

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

Coq 1 1 Updated Apr 20, 2023

Sandboxed runtime for programming languages and WASI binaries. Works in the browser or on your server.

TypeScript 671 32 Updated Mar 2, 2025

egg is a flexible, high-performance e-graph library

Rust 1,444 151 Updated Mar 1, 2025

Extra package for nix on machine learning and data science

Nix 59 9 Updated Mar 20, 2025

An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

Python 38,171 4,667 Updated Mar 1, 2025

a programming library with geometric algorithms

C++ 2,048 144 Updated Mar 23, 2025

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Python 37,266 3,267 Updated Aug 17, 2024

An uroboros program with 100+ programming languages

Ruby 14,122 559 Updated Dec 9, 2024

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

HTML 34 13 Updated Aug 9, 2024

A browser extension that redirects popular sites to alternative privacy friendly frontends

JavaScript 3,432 126 Updated Mar 8, 2025

easily build most Haskell programs into fully static Linux executables

Nix 392 35 Updated Jun 30, 2024

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Haskell 90 10 Updated Aug 13, 2020

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Haskell 541 48 Updated Dec 25, 2022

Units extension array for pandas based on astropy

Python 4 Updated Feb 1, 2020

This is RonDB, a distribution of NDB Cluster developed and used by Hopsworks AB. It also contains development branches of RonDB.

C++ 614 47 Updated Mar 21, 2025

YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite

Python 53,053 16,777 Updated Mar 23, 2025

Extremely minimal python implementation of the eHN-S protocol.

Python 74 41 Updated Jan 19, 2022

Store SSH keys in the Secure Enclave

Swift 7,427 161 Updated Jan 6, 2025

An open and flexible framework for developing enclave applications

C++ 974 127 Updated Apr 12, 2022

The source code to the civic tech project Öppna Skolplattformen.

TypeScript 801 176 Updated Nov 9, 2024
Next
Showing results