Niels Saurer (skius)

skius

Geek Repo

Company:Google

Location:Switzerland

Home Page:https://nielssaurer.com

Github PK Tool:Github PK Tool


Organizations
stiftungswo
unicode-org

Niels Saurer's repositories

progge.rs

Program analysis playground for a simple, imperative language

Language:RustLicense:Apache-2.0Stargazers:33Issues:1Issues:0

rm-pdf-tools

PDF tools for reMarkable tablets

Language:GoLicense:MITStargazers:15Issues:2Issues:6

eth-video-grabber

Download all ETH lecture recordings you have access to.

Language:RubyLicense:MITStargazers:6Issues:1Issues:1

elina-rs

Rust bindings for the ELINA library

Language:RustLicense:Apache-2.0Stargazers:3Issues:1Issues:0

headlessmc

This library provides a simple abstraction over a connection to a Minecraft server including appropriate packets in Rust

Language:RustStargazers:3Issues:1Issues:0

imp

Big-step, small-step and axiomatic semantics for the IMP language (unofficial)

Language:RustLicense:GPL-3.0Stargazers:3Issues:1Issues:0

stringlang

An interpreted, expression-oriented language where everything evaluates to strings

Language:GoLicense:MITStargazers:3Issues:1Issues:0
Language:RustStargazers:2Issues:1Issues:0

aoc-fold-generator

Advent of Code Day 13 tool to generate inputs

Language:RustStargazers:1Issues:1Issues:0

dataflowanalysis

Data-flow analysis framework in Go

Language:GoLicense:MITStargazers:1Issues:1Issues:0

movie_cleaner

Removes media files where there already is a higher resolution

Language:RubyLicense:MITStargazers:1Issues:1Issues:1
Language:RustStargazers:1Issues:0Issues:0

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

License:NOASSERTIONStargazers:0Issues:0Issues:0

cldr

The home of the Unicode Common Locale Data Repository

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

dp3t-app-android

The DP3T-App for Android

Language:JavaLicense:MPL-2.0Stargazers:0Issues:0Issues:0

equalityfilter

Allows finding sets of equal elements through an iterative manual process

Language:JavaStargazers:0Issues:0Issues:0

eth-cs-notes

Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich

Language:TeXStargazers:0Issues:0Issues:0

go-whatsapp

WhatsApp Web API

Language:GoLicense:MITStargazers:0Issues:0Issues:0

gocc

Parser / Scanner Generator

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gographviz

Parses the Graphviz DOT language in golang

License:NOASSERTIONStargazers:0Issues:0Issues:0

icu

The home of the ICU project source code.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

icu4x

Solving i18n for client-side and resource-constrained environments.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:1

lalrpop

LR(1) parser generator for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lastpass-cli

LastPass command line interface tool

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

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.

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0

z3.rs

Rust bindings for the Z3 solver.

Language:RustStargazers:0Issues:0Issues:0