Skip to content
View chrjx's full-sized avatar

Highlights

  • Pro

Block or report chrjx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Guide on how to prepare for quant trading roles out of college

JavaScript 855 86 Updated Oct 19, 2024

A tool for migration from Logseq to Obsidian

Go 5 Updated Mar 13, 2023
Coq 10 2 Updated Feb 25, 2020

For sharing purposes

27 1 Updated Apr 14, 2024

Mathematical Components compliant Analysis Library

Coq 2 Updated Nov 22, 2025

IBeam is an authentication and maintenance tool used for the Interactive Brokers Client Portal Web API Gateway.

Python 753 140 Updated May 18, 2025

volatility arbitrage in Heston model

Jupyter Notebook 67 15 Updated Apr 3, 2025

A summary of frequently appeared questions in quantitative finance interviews (with some explanations and simulations)

TeX 2 Updated Mar 27, 2024

Lean 4 programming language and theorem prover

Lean 6,934 718 Updated Dec 20, 2025

ArcticDB is a high performance, serverless DataFrame database built for the Python Data Science ecosystem.

C++ 2,117 155 Updated Dec 20, 2025

The math library of Lean 4

Lean 2,679 953 Updated Dec 20, 2025

Bug-free machine learning on stochastic computation graphs

Lean 399 36 Updated Mar 3, 2019

The Egison Programming Language

Haskell 923 31 Updated Dec 22, 2022
Python 1 Updated Jan 12, 2024

A Rust library for building interactive prompts

Rust 2,460 97 Updated Sep 23, 2025

the champagne of beta embedded databases

Rust 8,832 412 Updated Nov 4, 2025

Super Productivity is an advanced todo list app with integrated Timeboxing and time tracking capabilities. It also comes with integrations for Jira, GitLab, GitHub and Open Project.

TypeScript 16,425 1,342 Updated Dec 20, 2025

An ant colony simulation written in rust

Rust 197 8 Updated Oct 20, 2023

React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…

TypeScript 34,323 2,244 Updated Dec 4, 2025

Production-grade client-side tracing, profiling, and analysis for complex software systems.

C++ 5,238 640 Updated Dec 20, 2025

Fullstack app framework for web, desktop, and mobile.

Rust 32,746 1,418 Updated Dec 15, 2025

⭐️ Companies that don't have a broken hiring process

JavaScript 50,262 3,884 Updated Jul 31, 2025
Go 4 1 Updated Apr 17, 2023

Free and Open Source Reverse Engineering Platform powered by rizin

C++ 18,162 1,317 Updated Dec 17, 2025

magic-trace collects and displays high-resolution traces of what a process is doing

OCaml 5,182 115 Updated Dec 12, 2025

Apollo backend server

Go 3,652 534 Updated Jun 26, 2023

Package splice wraps the splice system call.

Go 17 2 Updated Mar 1, 2021

Animation engine for explanatory math videos

Python 82,486 6,988 Updated Oct 20, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,638 191 Updated Dec 20, 2025
Next