decrn

KU LeuvenBelgium

Pinned Repositories

cpsc411-book
The WIP book for CPSC 411
Language:Racket0 1 00
dotvim
vimrc and friends
Language:Vim script0 2 00
iris-tutorial-notes
Language:Coq0 0 00
localsurvey
📊📄 Simple serverless surveys
Language:TypeScript3 5 260
nanopass-ocaml
Language:OCaml1 1 00
nestjs-typegoose
Nest library for typegoose!
Language:TypeScript0 1 00
openjitsu-android
OpenJitsu Android: The open source platform for learning Brazilian Jiu Jitsu
Language:Kotlin0 2 00
openjitsu-angular
Open source web platform for learning Brazilian Jiu Jitsu
Language:TypeScript0 3 00

decrn's Repositories

decrn/localsurvey
📊📄 Simple serverless surveys
Language:TypeScript3 5 260
decrn/nanopass-ocaml
Language:OCaml1 1 00
decrn/cpsc411-book
The WIP book for CPSC 411
Language:Racket0 1 00
decrn/dotvim
vimrc and friends
Language:Vim script0 2 00
decrn/iris-tutorial-notes
Language:Coq0 0 00
decrn/nestjs-typegoose
Nest library for typegoose!
Language:TypeScript0 1 00
decrn/openjitsu-android
OpenJitsu Android: The open source platform for learning Brazilian Jiu Jitsu
Language:Kotlin0 2 00
decrn/openjitsu-angular
Open source web platform for learning Brazilian Jiu Jitsu
Language:TypeScript0 3 00
decrn/openjitsu-ios
OpenJitsu iOS: The open source platform for learning Brazilian Jiu Jitsu
Language:Swift0 1 00
decrn/QGoose.github.io
Goose' website
Language:HTML0 0
decrn/tilogics
Language:Coq
decrn/virtual-university
Open information system for use in blended learning environments.
Language:JavaScript2 0
decrn/wishlist-uwp
Simple shared wishlist app for Universal Windows Platform
Language:C#1 421