Gorzen

Lucien Iseli's repositories

SDP-2018

CS-305(a): Software Development Project (SDP)

Language:Java4 3 138

.files

Language:Shell2 10

Computer-Graphics-2019

Assignments for the course 'Introduction to Computer Graphics'

Language:C1 10

stainless

Verification framework for higher-order functional programs

Language:ScalaApache-2.01 10

Genome-Center-Project

Language:Jupyter Notebook020

Los-Moussaka-ADA

Impact of events and trends on Amazon

Language:Jupyter Notebook030

SBB-Planner

Robust journey planner for SBB with Renku spark cluster

Language:Jupyter Notebook020

bolts

Bolts: Stainless Verified Scala

Language:ScalaMIT010

dotfiles

My NixOS config 🚀

Language:Nix000

fs2-grpc

gRPC implementation for FS2/cats-effect

Language:ScalaMIT000

lightdm-webkit-theme-litarvan

Litarvan's LightDM HTML Theme

Language:Vue010

Los-Moussaka-Data-Story

Data story for 'Los Moussaka' Amazon food data analysis

Language:HTMLNOASSERTION010

LS_COLORS

A collection of LS_COLORS definitions; needs your contribution!

Language:ShellNOASSERTION010

MachineLearning-2019

Language:Jupyter Notebook010

manage-directories

Manage your personal directory structure

Language:PythonGPL-3.0010

ML-Project-01

Language:Jupyter Notebook030

MulArch-2018

Language:C010

NumMet-2018

Language:Jupyter Notebook010

sddm-chili

The hottest theme around for SDDM, the Simple Desktop Display Manager.

Language:QMLGPL-3.0000

SHS-Project

Language:Jupyter Notebook040

spotifyd

A spotify daemon

Language:RustGPL-3.0010