Skip to content
View jonathanschilling's full-sized avatar
Block or Report

Block or report jonathanschilling

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
15 stars written in C
Clear filter

The seL4 microkernel

C 4,600 644 Updated Jun 27, 2024

MPI programming lessons in C and executable code examples

C 2,113 751 Updated May 16, 2024

Performance monitoring and benchmarking suite

C 1,594 220 Updated Jun 3, 2024

OLINUXINO is Open Source / Open Hardware, low cost from EUR 24 Linux Industrial grade Single Board Computer capable to operate -25+85C

C 1,327 754 Updated Mar 12, 2024

RISC-V Open Source Supervisor Binary Interface

C 946 483 Updated Jun 26, 2024

Software drivers in C for systems without an operating system

C 869 1,633 Updated Jun 27, 2024

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…

C 582 133 Updated Jun 26, 2024

Breathing new live in Helios, an OS from the 90's

C 78 15 Updated Dec 6, 2021

Convert video from a Mac Plus/SE/Classic to a VESA VGA signal using a Raspberry Pi Pico

C 77 5 Updated Apr 9, 2023

never ending September date

C 69 6 Updated Oct 12, 2023

H2Lib public repository

C 49 28 Updated Aug 27, 2022

Macintosh SE Hardware Designs

C 22 4 Updated May 28, 2024

a simple example of use for FFTW (serial, multithread and MPI)

C 15 Updated Apr 4, 2018
C 10 3 Updated Jun 18, 2024