Matteo Semenzato's starred repositories

ply

Dynamic Tracing in Linux

Language:CLicense:GPL-2.0Stargazers:959Issues:0Issues:0

etna-gpu-tools

Copy of git://git.armlinux.org.uk/~rmk/etna-gpu-tools.git

Language:CStargazers:4Issues:0Issues:0

mesa__r600_demo

testing tool for 3D engine on AMD r6xx/r7xx GPUs. (mirror)

Language:CStargazers:1Issues:0Issues:0

TomatOS

An experimental dotnet based kernel

Language:CLicense:GPL-2.0Stargazers:38Issues:0Issues:0

malbolge-lisp

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

Language:TeXLicense:CC0-1.0Stargazers:478Issues:0Issues:0

aurora

Probably the worlds smallest AUR helper.

Language:RustStargazers:3Issues:0Issues:0

PSn00bSDK

The most powerful open source SDK for the PS1 (as far as open source PS1 SDKs go). Not recommended for beginner use.

Language:CLicense:NOASSERTIONStargazers:778Issues:0Issues:0

asmbf

The only true brainfuck-targetting assembler.

Language:CLicense:MITStargazers:108Issues:0Issues:0

slibc

POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes

Language:CLicense:BSL-1.0Stargazers:11Issues:0Issues:0

mantissa

A GTK based browser written in D and made with love.

Language:DLicense:BSL-1.0Stargazers:21Issues:0Issues:0
Language:ZigLicense:CC0-1.0Stargazers:3Issues:0Issues:0

limine

Modern, advanced, portable, multiprotocol bootloader and boot manager.

Language:CLicense:BSD-2-ClauseStargazers:1677Issues:0Issues:0

qword

Operating system for x86_64 based around a "keep it simple and make it work" philosophy.

Language:CLicense:NOASSERTIONStargazers:401Issues:0Issues:0

managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

Language:C++License:MITStargazers:1359Issues:0Issues:0

TomatBoot

A UEFI 64bit Bootloader

Language:CLicense:BSD-2-ClauseStargazers:145Issues:0Issues:0

TomatOS

A 64bit tomato kernel

Language:CStargazers:69Issues:0Issues:0

bestOS

An OS that "throws" bests

Language:CLicense:NOASSERTIONStargazers:15Issues:0Issues:0

lai

LAI is an interpreter for AML, the ACPI Machine Language.

Language:CLicense:MITStargazers:174Issues:0Issues:0

nanos

x86_64 OS Reference in C and Assembly

Language:CLicense:NOASSERTIONStargazers:28Issues:0Issues:0

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Language:CLicense:NOASSERTIONStargazers:65612Issues:0Issues:0

jonesforth

Mirror of JONESFORTH

Language:AssemblyStargazers:983Issues:0Issues:0

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Language:RustLicense:MITStargazers:17264Issues:0Issues:0

Vulkan

C++ examples for the Vulkan graphics API

Language:GLSLLicense:MITStargazers:9953Issues:0Issues:0

netdata

The open-source observability platform everyone needs!

Language:CLicense:GPL-3.0Stargazers:69490Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:174431Issues:0Issues:0

rand

A Rust library for random number generation.

Language:RustLicense:NOASSERTIONStargazers:1605Issues:0Issues:0

LuaJIT

Mirror of the LuaJIT git repository

Language:CLicense:NOASSERTIONStargazers:4527Issues:0Issues:0

wren

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Language:WrenLicense:MITStargazers:6808Issues:0Issues:0

PumpkinDB

Immutable Ordered Key-Value Database Engine

Language:RustLicense:MPL-2.0Stargazers:1374Issues:0Issues:0

dynasm-rs

A dynasm-like tool for rust.

Language:RustLicense:MPL-2.0Stargazers:705Issues:0Issues:0