RasmusRendal

Informatikstudent at TU Wien

Denmark

Pinned Repositories

UDPlus-Plus
A Chrome extension for the web platform Uddata+
Language:JavaScript8 7 542
advent_of_code
Advent Of Code Solutions
Language:Nix0 2 00
ai-languagetutor
Use openai to practice German grammar
Language:Python0 3 00
chemilang
A chemical reaction network compiler
Language:C++9 2 450
crnsimul
An application for simulating Chemical Reaction Networks
Language:C++6 3 331
Galago
A web app manager meant for mobile Linux systems
Language:Python1 3 131
hitze
An optimizing JIT Brainfuck compiler
Language:Rust1 2 00
Invariantifier
Language:Python1 2 20
koreaderankiexport
Utility for creating Anki cards from KOReader vocabulary builder databases
Language:Python4 2 00
MapleBrainfuck
A implementation of the Brainfuck programming language in Maple
1 3 00

RasmusRendal's Repositories

RasmusRendal/koreaderankiexport
Utility for creating Anki cards from KOReader vocabulary builder databases
Language:Python4 2 00
RasmusRendal/hitze
An optimizing JIT Brainfuck compiler
Language:Rust1 2 00
RasmusRendal/advent_of_code
Advent Of Code Solutions
Language:Nix0 2 00
RasmusRendal/ai-languagetutor
Use openai to practice German grammar
Language:Python0 3 00
RasmusRendal/awesome-nix
😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
0 1 00
RasmusRendal/cambridge_core_downloader
Download and merge PDFs from Cambridge Core
Language:Python1 0
RasmusRendal/DerDieDas
Android app for learning genders of German nouns
Language:Kotlin1 0
RasmusRendal/docker-mailserver
Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.
Language:Shell1 0
RasmusRendal/fluffychat
The cutest instant messenger in the [matrix]
Language:Dart1 0
RasmusRendal/hackgrant
Vagrantfile for hackerstuff
Language:Shell2 0
RasmusRendal/hacktricks
Welcome to the page where you will find each trick/technique/whatever I have learnt in CTFs, real life apps, and reading researches and news.
Language:Python1 0
RasmusRendal/homepage
Language:Python2 0
RasmusRendal/miguel-de-cervantes-saavedra_don-quixote_john-ormsby
Epub source for the Standard Ebooks edition of Don Quixote, by Miguel de Cervantes. Translated by John Ormsby
Language:HTML1 0
RasmusRendal/mjolnir
A moderation tool for Matrix
Language:TypeScript1 0
RasmusRendal/mobile-nixos
Language:C1 0
RasmusRendal/nix
Nix, the purely functional package manager
Language:C++1 0
RasmusRendal/nixbotbot
RasmusRendal/nixpkgs
Nix Packages collection
Language:Nix1 0
RasmusRendal/proxymgr
A browser extension for managing multiple proxies
Language:JavaScript1 4
RasmusRendal/py3status
py3status is an extensible i3status wrapper written in python
Language:Python1 0
RasmusRendal/sccache
sccache is ccache with cloud storage
Language:Rust1 0
RasmusRendal/testrepo
2 0
RasmusRendal/UCDD
Uppaal CDD library
Language:C++1 0
RasmusRendal/UCDD2
Language:C++1 0
RasmusRendal/UDBM
Uppaal DBM library
Language:C++1 0
RasmusRendal/utap
Uppaal Timed Automata Parser
Language:C++1 0
RasmusRendal/UUtils
The (spookiest) UPPAAL utility library
Language:C++1 0
RasmusRendal/vocabsieve
Simple sentence mining tool for language learning
Language:Python1 0
RasmusRendal/vprover.github.io
RasmusRendal/website