Skip to content
View michaelsippel's full-sized avatar

Organizations

@ComputationalRadiationPhysics

Block or report michaelsippel

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

All Config for the SV04 to work with Klipper Mirror and Copy (include images and description)

Python 60 15 Updated Jan 25, 2024

A high level diffing library for rust based on diffs

Rust 982 34 Updated Jul 25, 2024

Bootstrapping LISP in a Boot Sector

C 1,282 56 Updated Sep 6, 2024

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

C++ 44,758 1,950 Updated Oct 24, 2024
HTML 8 Updated Oct 8, 2024

An implementation of differential dataflow using timely dataflow on Rust.

Rust 2,578 183 Updated Oct 29, 2024

A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.

Rust 13 2 Updated Dec 29, 2023

Toolkit of (hopefully) suckless filters for the farbfeld image format.

C 5 1 Updated Nov 21, 2016

This crate provides custom de/serialization helpers to use in combination with serde's `with`-annotation and with the improved `serde_as`-annotation.

Rust 661 71 Updated Oct 25, 2024

Saggitarius: A DSL for Specifying Grammatical Domains

OCaml 2 Updated Aug 8, 2023

A domain-specific language to simplify development of binary file format validators.

Java 10 1 Updated Jul 17, 2013

High-level Rust library for the Activitypub protocol

Rust 419 45 Updated Sep 20, 2024

The universal icon set for user interfaces.

SCSS 104 10 Updated Nov 28, 2023

A rust library to print aligned and formatted tables

Rust 939 73 Updated Sep 20, 2024

Loopers is graphical live looper, written in Rust, designed for ease of use and rock-solid stability

Rust 139 13 Updated Dec 11, 2023

Masking tape to help commands "do one thing well"

Rust 571 19 Updated Feb 15, 2024

Pinephone Modem SDK: Tools to build your own bootloader, kernel and rootfs

Python 597 65 Updated Oct 7, 2024

(Printing size: 300*300*400) Sovol SV04 IDEX is with Dual Independent Direct Drive Extruders, supporting printing more materials including TPU, PETG, PVA, PLA, etc. With Dual Color mode, Duplicatio…

C++ 49 34 Updated Apr 13, 2023

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 7,410 169 Updated Nov 1, 2024

An imperative and functional programming language

C++ 152 12 Updated Oct 15, 2024

The world's most 3D printable 3D printer. (Guinness Book of World Records 2017 & 2018)

OpenSCAD 502 171 Updated Nov 19, 2020

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

OCaml 114 4 Updated Feb 16, 2023

Task-based framework for automatic synchronization and memory prefetching.

C++ 16 4 Updated Dec 3, 2021

Verified Rust for low-level systems code

Rust 1,187 70 Updated Oct 31, 2024

A repo for exploring the PaSh annotation subsystem

Python 2 4 Updated Jul 26, 2024

PaSh: Light-touch Data-Parallel Shell Processing

Shell 549 38 Updated Oct 29, 2024

A drop-in replacement for std::list with 293% faster insertion, 57% faster erasure, 17% faster iteration and 77% faster sorting on average. 20-24% speed increase in use-case testing.

C++ 150 21 Updated Oct 15, 2024

jq for binary formats - tool, language and decoders for working with binary and text formats

Go 9,766 226 Updated Oct 23, 2024

lamdu - towards the next generation IDE

Haskell 1,854 71 Updated Oct 22, 2024

Optimization driven hydroponic nutrient calculator and domain-specific language.

Python 12 3 Updated Oct 17, 2021
Next