istehem

Pinned Repositories

ACO-for-vasttrafik
Language:Haskell00
alarm
ncurses based alarm clock written in c
Language:C10
bin
small nice to have scripts for everyday life
Language:Python0 1 00
currency-explorer
Explore currencies with angular+NgRx
Language:TypeScript00
CV
Language:TeX0 1 00
Evaluation_of_validity_of_verification_methods
Evaluation of validity of verification methods
Language:C++12
laundry_booking_bot
Language:Python00
RESTService
exprimental reposository using the flask framework
Language:JavaScript00
translate-srt
translate subtitle files
Language:Python00
translation
Schloss Wedendorf
Language:TeX00

istehem's Repositories

istehem/alarm
ncurses based alarm clock written in c
Language:C10
istehem/Evaluation_of_validity_of_verification_methods
Evaluation of validity of verification methods
Language:C++12
istehem/ACO-for-vasttrafik
Language:Haskell00
istehem/bin
small nice to have scripts for everyday life
Language:Python0 1 00
istehem/currency-explorer
Explore currencies with angular+NgRx
Language:TypeScript00
istehem/CV
Language:TeX0 1 00
istehem/laundry_booking_bot
Language:Python00
istehem/RESTService
exprimental reposository using the flask framework
Language:JavaScript00
istehem/translate-srt
translate subtitle files
Language:Python00
istehem/translation
Schloss Wedendorf
Language:TeX00
istehem/types
Assignments written mainly in Agda but also Haskell
Language:Agda0 1 00
istehem/wiktionary-en-cli
A command line English dictionary using Wiktionary data.
Language:Rust