n-0

Y = λcode. ( λ.system code (system system)) ( λ.system code (system system)) Y == "JOY"

iteratec GmbHGermany

Pinned Repositories

backtest-imc-prosperity-2023
Utilities for back testing code related to the IMC prosperity challenge 2023.
Language:Python41 1 123
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.
Language:JavaScript1 1 00
chatbot_interview
A chatbot application built for an interview at Monash university.
Language:JavaScript0 0 00
chess
A chess engine written in javascript with react
Language:JavaScript0 1 00
eodhd-rs
A community rust wrapper around the EODHD API
Language:Rust2 2 10
graph-db-testat
Testat project WI 19/20 at TUHH in Prozedurale Programmierung.
Language:C1 1 01
iteratecnextlean
A showcase for lean in formal verification.
Language:Lean1 1 00
rs-lemon-markets
lemon markets broker community rust api client 🍋
Language:Rust2 1 00
simmons
An oracle to analyze performance of orders.
Language:Rust1 1 00
tuh-gdsc-lit
A lit website of the GDSC for the Hamburg University of Technology.
Language:TypeScript1 3 00

n-0's Repositories

n-0/backtest-imc-prosperity-2023
Utilities for back testing code related to the IMC prosperity challenge 2023.
Language:Python41 1 123
n-0/eodhd-rs
A community rust wrapper around the EODHD API
Language:Rust2 2 10
n-0/rs-lemon-markets
lemon markets broker community rust api client 🍋
Language:Rust2 1 00
n-0/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.
Language:JavaScript1 1 00
n-0/graph-db-testat
Testat project WI 19/20 at TUHH in Prozedurale Programmierung.
Language:C1 1 01
n-0/iteratecnextlean
A showcase for lean in formal verification.
Language:Lean1 1 00
n-0/simmons
An oracle to analyze performance of orders.
Language:Rust1 1 00
n-0/tuh-gdsc-lit
A lit website of the GDSC for the Hamburg University of Technology.
Language:TypeScript1 3 00
n-0/chatbot_interview
A chatbot application built for an interview at Monash university.
Language:JavaScript0 0 00
n-0/chess
A chess engine written in javascript with react
Language:JavaScript0 1 00
n-0/create-react-app
Set up a modern web app by running one command.
Language:JavaScript0 0 00
n-0/example-python-oracles
Examples for python gRPC mr_world usage
Language:Python0 1 00
n-0/gdsc-book
gitbook content for the gdsc of the tuh
00
n-0/gdsc-proto-clock-example
Let's build a gRPC Service!
Language:Rust1 0
n-0/graph
A repo for exercises related to graph theory at the TUH.
Language:Kotlin1 0
n-0/gremlex
Elixir Client for Gremlin (Apache TinkerPop™)
n-0/ideavim
Vim emulation plugin for IDEs based on the IntelliJ Platform
Language:Kotlin0 0
n-0/kafka_connector
A rust wrapper for kafka's connector REST API.
Language:Rust1 0
n-0/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0
n-0/prob-
A lightweight probability lib
Language:Python1 0
n-0/quiz
Fragespiel
Language:Python1 0
n-0/se-ss-23-hw-7
Latex slides for homework 7 of the SE course summer semester at the TUHH.
Language:TeX1 0
n-0/semproj
Language:Python1 0
n-0/shared-cheat-sheets
Latex code from which Anki cards for some exams are generated.
Language:TeX
n-0/spatial_vision_interview
A web app for an interview at spatial vision.
Language:JavaScript
n-0/VersionTestIteratecNextLean
A test to check if everything for the workshop is installed.
Language:Lean1 0
n-0/vimspector
vimspector - A multi-language debugging system for Vim
Language:Vim Script0 0
n-0/voctest
A vocabulary trainer
Language:JavaScript1 0