leenahere

Senior Software Engineer

Berlin

Pinned Repositories

ai-for-ev3
A Robot that classifies digits and shapes
Language:Python7 1 16
art-gallery-problem-evoli
Language:Python00
codegirls-arduino-workshop
This is the repository for the Arduino workshop by Leipzig's Code Girls
Language:C++01
ipm-kitti
Language:Python11
lyrics-analysis
Language:Python1 1 00
manthano
µanthano
Language:SQLPL3 0 31
mca-heater
Language:JavaScript00
ml-for-lego
All Python scripts to solve machine learning exercises on LEGO Mindstorms EV3
Language:Python10
pvs-pr-ack
Proof that Ackermann majorises all Primitive Recursive (PR) functions in PVS
Language:Shell00

leenahere's Repositories

leenahere/ai-for-ev3
A Robot that classifies digits and shapes
Language:Python7 1 16
leenahere/manthano
µanthano
Language:SQLPL3 0 31
leenahere/ipm-kitti
Language:Python11
leenahere/lyrics-analysis
Language:Python1 1 00
leenahere/ml-for-lego
All Python scripts to solve machine learning exercises on LEGO Mindstorms EV3
Language:Python10
leenahere/art-gallery-problem-evoli
Language:Python00
leenahere/codegirls-arduino-workshop
This is the repository for the Arduino workshop by Leipzig's Code Girls
Language:C++01
leenahere/mca-heater
Language:JavaScript00
leenahere/pvs-pr-ack
Proof that Ackermann majorises all Primitive Recursive (PR) functions in PVS
Language:Shell00
leenahere/leenahere.github.io
Language:HTML
leenahere/leos-robot
Language:Python
leenahere/lindas-partybutton
just a little farewell gift
Language:JavaScript
leenahere/minimal
Personal blog theme powered by Hugo
Language:HTML
leenahere/react-blockly-drawer
A React component to play with Blockly
Language:JavaScript
leenahere/rn-apple-healthkit
A React Native package for interacting with Apple HealthKit
Language:Objective-C
leenahere/starter-nestjs
leenahere/watch-api
Language:TypeScript