Pinned Repositories
aoc-2021
elina-rs
Rust bindings for the ELINA library
eth-video-grabber
Download all ETH lecture recordings you have access to.
headlessmc
This library provides a simple abstraction over a connection to a Minecraft server including appropriate packets in Rust
imp
Big-step, small-step and axiomatic semantics for the IMP language (unofficial)
progge.rs
Program analysis playground for a simple, imperative language
rm-pdf-tools
PDF tools for reMarkable tablets
stringlang
An interpreted, expression-oriented language where everything evaluates to strings
icu4x
Solving i18n for client-side and resource-constrained environments.
skius's Repositories
skius/progge.rs
Program analysis playground for a simple, imperative language
skius/rm-pdf-tools
PDF tools for reMarkable tablets
skius/eth-video-grabber
Download all ETH lecture recordings you have access to.
skius/elina-rs
Rust bindings for the ELINA library
skius/headlessmc
This library provides a simple abstraction over a connection to a Minecraft server including appropriate packets in Rust
skius/imp
Big-step, small-step and axiomatic semantics for the IMP language (unofficial)
skius/stringlang
An interpreted, expression-oriented language where everything evaluates to strings
skius/aoc-2021
skius/aoc-fold-generator
Advent of Code Day 13 tool to generate inputs
skius/dataflowanalysis
Data-flow analysis framework in Go
skius/movie_cleaner
Removes media files where there already is a higher resolution
skius/raytracer
skius/awesome-reMarkable
A curated list of projects related to the reMarkable tablet
skius/cldr
The home of the Unicode Common Locale Data Repository
skius/concavejarvis
skius/dp3t-app-android
The DP3T-App for Android
skius/equalityfilter
Allows finding sets of equal elements through an iterative manual process
skius/eth-cs-notes
Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich
skius/go-whatsapp
WhatsApp Web API
skius/gocc
Parser / Scanner Generator
skius/gographviz
Parses the Graphviz DOT language in golang
skius/icu
The home of the ICU project source code.
skius/icu4x
Solving i18n for client-side and resource-constrained environments.
skius/iml-cheatsheet
skius/jsonparse
skius/lalrpop
LR(1) parser generator for Rust
skius/lastpass-cli
LastPass command line interface tool
skius/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
skius/skius.github.io
skius/z3.rs
Rust bindings for the Z3 solver.