Name: Leon Schuermann
Type: User
Company: @princeton-sns
Bio: Grad student. Working on @tock. Chat on Matrix: <at>leons:is.currently.online
Location: Princeton, NJ
Congrats! You've stumbled over my humble GitHub profile.
Starting with some recent political announcements and policy enforcements around this platform, I have opted to use GitHub only where absolutely necessary. This means I will limit my activity on this platform to contributing to projects on GitHub, as well as where other services require it.
To find some of my other projects (and development forks), visit git.currently.online/leons.
Have a nice day!
bitorder
Library to read and write bits in lsb or msb order.
compcert
The CompCert formally-verified C compiler
cos316-web
cos514-project-public
decode
DECODE - object DEpository and COntent DElivery service
eggviz
elf2tab
Tool to create Tock Application Bundles from ELF files.
fadex
An Elixir-library for controlling OpenPixelControl-Protocol enabled devices (e.g. Fadecandy)
gh-pr-force-push-test
Just a test on how force-pushing to a PRed fork branch and later repushing to a different fork affects the PR contents
keystone
Keystone Enclave
libtock-c
Userland apps for Tock written in C and C++
libtock-rs
Rust userland library for Tock
libzetta-rs
Stable interface for programmatic administration of ZFS from Rust
liteeth
Small footprint and configurable Ethernet core
litex
Build your hardware, easily!
litex-boards
LiteX boards files
litex-vexriscv-custom
Python module containing Verilog files for VexRiscv CPU (for use with LiteX). Fork, adding custom CPUs and providing prebuilt tarballs as releases.
lowrisc-crt
Compiler Repository Toolkit
lschuermann
Profile README.md
miniond
Alternative implementation of Emulab client-side agents
netfpga-sume-alpha
nix-litex
Mirror of https://git.sr.ht/~lschuermann/nix-litex. View https://hub.sr.ht/~lschuermann/nix-litex for more information and the respective mailing lists.
nixpkgs
MIRROR OF https://web.git.currently.online/leons/nixpkgs.git - Fork of the Nix packages collection
nur-packages
nur-packages-legacy
my NUR packages
opentitan
OpenTitan: Open source silicon root of trust
packetbuffer
picolibc
picolibc - a C library designed for embedded 32- and 64- bit systems.
princeton-sns-cluster
Princeton SNS Cluster Configuration
tock
PR source for the Tock embedded operating system
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
