Niklas Jona (@n-0)
github

n-0

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    50
  • Global Rank 340,076 (Top 12 %)
  • Followers 10
  • Following 8
  • Registered over 9 years ago
  • Most used languages
    Rust
         37.5 %
    JavaScript
         12.5 %
    C
         12.5 %
    TypeScript
         12.5 %
    Python
         12.5 %
    Lean     12.5 %
  • Location 🇩🇪 Germany
  • Country Total Rank 29,123
  • Country Ranking
    Lean     23
    Rust
         1,516
    Python
         3,100
    TypeScript
         6,468
    C
         6,715

Top repositories

1

backtest-imc-prosperity-2023

Utilities for back testing code related to the IMC prosperity challenge 2023.
Python
41
star
2

eodhd-rs

A community rust wrapper around the EODHD API
Rust
2
star
3

rs-lemon-markets

lemon markets broker community rust api client 🍋
Rust
2
star
4

graph-db-testat

Testat project WI 19/20 at TUHH in Prozedurale Programmierung.
C
1
star
5

iteratecnextlean

A showcase for lean in formal verification.
Lean
1
star
6

tuh-gdsc-lit

A lit website of the GDSC for the Hamburg University of Technology.
TypeScript
1
star
7

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.
JavaScript
1
star
8

simmons

An oracle to analyze performance of orders.
Rust
1
star