Skip to content
View ifsheldon's full-sized avatar

Sponsoring

@JonasKruckenberg

Block or report ifsheldon

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Python 45,835 1,871 Updated Jul 22, 2026

Safe Rust wrapper for the NVIDIA Management Library

Rust 204 51 Updated Jun 23, 2026

Prevent accidental app quits by requiring long-press on ⌘Q for macOS

Swift 16 2 Updated Feb 7, 2026

Companion code for the global workspace interpretability paper

Python 1,559 221 Updated Jul 17, 2026

The SSH client built to be an AI ops copilot · 为 AI 运维而生的 SSH 客户端(macOS/Windows/Linux/Android)

Rust 450 38 Updated Jul 24, 2026

HiPoster is a high-performance, modern API testing tool built with Rust and the GPUI framework. .

HTML 76 1 Updated Jul 20, 2026

Discovering bivariate bicycle (BB) and perturbed bivariate bicycle (PBB) quantum LDPC codes via LLM-guided evolutionary search.

Python 20 Updated Jun 2, 2026

Simplistic API for deep learning tensor operations

Rust 36 4 Updated Jun 22, 2026

Design automation software tools for Topological Quantum Error Correction

Python 378 120 Updated Jul 22, 2026

A fast stabilizer circuit library.

C++ 789 221 Updated Jul 23, 2026

The code for creating the iGSM datasets in papers "Physics of Language Models Part 2.1, Grade-School Math and the Hidden Reasoning Process" (arxiv 2407.20311) and "Physics of Language Models Part 2…

Python 88 8 Updated Jan 12, 2025

Lore is a next-generation, open source version control system

Rust 8,169 376 Updated Jul 23, 2026

FrontierSmith, a new system that uses AI to synthesize open-ended coding problems at scale

Python 47 4 Updated May 30, 2026

AI agents running research on single-GPU nanochat training automatically

Python 494 30 Updated Mar 13, 2026

A project to map out the relations between different equational theories of Magmas.

Lean 544 102 Updated Jul 21, 2026

🚀 Lightweight open-source SSH/SFTP/FTP client built with Rust & Tauri 2. Only ~34 MB memory. Installer under 10 MB . Split terminals, SFTP, GPU monitoring. macOS/Windows/Linux.

TypeScript 124 26 Updated Jul 21, 2026

A benchmark for evaluating LLMs on open-ended CS problems. Exploring the Next Frontier of Computer Science.

C++ 284 43 Updated Jul 23, 2026

将博导十年科研经验炼化为可直接调用的 AI 技能。从 Idea 构思到论文投稿,你的 AI 科研副导师。

Python 4,285 298 Updated Jul 16, 2026

canonical implementation of the theta-spec

Rust 14 1 Updated Jul 15, 2026

Next-gen AI-native tensor-network-based quantum software framework

Python 83 21 Updated Jul 24, 2026

Change Risk Anti-Patterns (CRAP) metric for Rust projects

Rust 372 11 Updated Jul 19, 2026

SSH-based ping that measures interactive character echo latency and file transfer throughput. Pronounced "shipping".

Rust 88 8 Updated Jul 23, 2026

cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for passing tensors to asynchronously executed kernel functions.

Rust 713 50 Updated Jul 23, 2026

Make Any Website into CLI & Use your logged-in browser by AI agent.

JavaScript 27,144 2,674 Updated Jul 20, 2026

Zotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, and more.

Python 4,403 358 Updated Jul 13, 2026

A key remapping daemon for linux.

C 5,778 269 Updated Jun 1, 2026

Write at the speed of thought – Velotype is a high-performance native Markdown editor built with Rust and GPUI.⚡

Rust 485 43 Updated Jul 14, 2026

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Rust 2,960 219 Updated Jul 24, 2026

An open source alternative to raycast, in rust!!

Rust 967 57 Updated Jul 22, 2026

The agent that grows with you

Python 219,631 41,698 Updated Jul 24, 2026
Next