Skip to content
View michaelsippel's full-sized avatar


Block or Report

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


  1. ltsh ltsh Public

    tiny utility program for type-analysis of shell pipelines based on ladder-typing

    Rust 2

  2. syntaxAlchemist syntaxAlchemist Public

    Intentional human-machine interfacing through fusion of (keyboard-driven) syntax-based editing and ladder typing.

    Rust 3

  3. lib-laddertypes lib-laddertypes Public

    Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)

    Rust 1

  4. combwriter combwriter Public

    Ergonomic Split-Typewriter with 3D-Printed Circuit Board and Hexagonal Keycaps

    OpenSCAD 4

  5. ComputationalRadiationPhysics/redGrapes ComputationalRadiationPhysics/redGrapes Public

    Resource-based, Declarative task-Graphs for Parallel, Event-driven Scheduling 🍇

    C++ 20 5

  6. HDFGroup/hdf-compass HDFGroup/hdf-compass Public

    Python-based viewer for HDF5 on other file formats

    Python 128 26