Niklas Jona's repositories
backtest-imc-prosperity-2023
Utilities for back testing code related to the IMC prosperity challenge 2023.
rs-lemon-markets
lemon markets broker community rust api client 🍋
breeze-tech-interview
Web-based CO2 visualization where random CO2 values (between 350 and 5000 ppm) are getting pulled every 10 seconds from the app backend to the frontend.
graph-db-testat
Testat project WI 19/20 at TUHH in Prozedurale Programmierung.
iteratecnextlean
A showcase for lean in formal verification.
tuh-gdsc-lit
A lit website of the GDSC for the Hamburg University of Technology.
chatbot_interview
A chatbot application built for an interview at Monash university.
chess
A chess engine written in javascript with react
create-react-app
Set up a modern web app by running one command.
example-python-oracles
Examples for python gRPC mr_world usage
gdsc-book
gitbook content for the gdsc of the tuh
gdsc-proto-clock-example
Let's build a gRPC Service!
gremlex
Elixir Client for Gremlin (Apache TinkerPop™)
ideavim
Vim emulation plugin for IDEs based on the IntelliJ Platform
kafka_connector
A rust wrapper for kafka's connector REST API.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
prob-
A lightweight probability lib
quiz
Fragespiel
se-ss-23-hw-7
Latex slides for homework 7 of the SE course summer semester at the TUHH.
spatial_vision_interview
A web app for an interview at spatial vision.
VersionTestIteratecNextLean
A test to check if everything for the workshop is installed.
vimspector
vimspector - A multi-language debugging system for Vim
voctest
A vocabulary trainer