Skip to content
View ckrause's full-sized avatar

Block or report ckrause

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

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

TypeScript 60,395 6,171 Updated Apr 17, 2026

Runtime and miner for the LODA language written in C++

C++ 29 4 Updated Mar 18, 2026

LODA Programs for Integer Sequences

Assembly 38 2 Updated Apr 17, 2026

Code to download, process, and analyse the Online Encyclopedia of Integer Sequences

Python 50 38 Updated Feb 2, 2025

L-Functions and Modular Forms Database

Python 283 235 Updated Apr 11, 2026

LODA API Server and Monitoring

Go 4 2 Updated Mar 10, 2026

:neckbeard: Powerful Slack CLI via pure bash. Rich messaging, uploads, posts, piping, oh my!

Shell 1,138 94 Updated Feb 5, 2023

A Docker multi-container application that runs a BOINC server

Shell 126 69 Updated May 2, 2023
Standard ML 25 2 Updated Apr 6, 2026

Web editor for the LODA language.

Rust 30 4 Updated Oct 28, 2025

What does the prime numbers look like?

HTML 5 Updated Jul 4, 2021

Kodinerds IPTV - Freie und legale Streams für Kodi

Python 777 182 Updated Feb 20, 2026

Java implementations of sequences in the OEIS

Java 71 6 Updated Apr 17, 2026

Tool to push FritzBox data directly to InfluxDB

Python 3 Updated Dec 9, 2020

Very simple C++ JSON Parser

C++ 73 25 Updated Mar 6, 2026

LODA is an assembly language, a computational model and a tool for mining integer sequence programs.

Assembly 21 5 Updated Aug 23, 2021