OrderBook Heatmap visualizes the limit order book, compares resting limit orders and shows a time & sales log with live market data streamed directly from the Binance WS API. This was a short explo…

Edit CSV Files in Obsidian

My personal Neovim configuration, public to show my plugins in action.

The lightning-fast plugin manager, alternative to vim-plug

Open-source alternative of Discord desktop's app.asar

Fully cross platform dotfile manager and dev environment bootstrapper written in Rust.

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

Home server setup

Configuration DSL for Archlinux, similar to /etc/nixos/configuration.nix but uses your normal archlinux tools (pacman, systemd, gnu-utils) and doesn't do weird acrobat with stores and stuff

Inspired by Reflectly App Made in Flutter ❤️

Master the command line, in one page

Real-time output of your program (ONLY IN SHELL, no program, no Lib, no Package required to use it)

My personal dotfiles for most of the programs I use on a daily basis.

A Neovim setup using Lua

🌍 🕵️ Arch-Osint Linux OS VM based on Blackarch.

A browser extension to enable Vim-like keymaps on the browsers!!

My home directory's settings

Full reference of LinkedIn answers 2024 for skill assessments (aws-lambda, rest-api, javascript, react, git, html, jquery, mongodb, java, Go, python, machine-learning, power-point) linkedin excel t…

ARCHIVED. [@@deriving] plugin to generate Python conversion functions

A library to help writing wrappers around ocaml code for python

Visual Studio Code extension for Coq

A massively parallel, optimal functional runtime in Rust

A modern proof language

Fork of the Veonim Neovim GUI

Personal neovim configuration⚡🪟 - Fully configured for LaTeX, Python, Lua, C#, HTML, CSS, and Javascript - Neovim version: v0.9+

Source repository for NeuroML documentation.

Enhanced ChatGPT Clone: Features Agents, MCP, DeepSeek, Anthropic, AWS, OpenAI, Responses API, Azure, Groq, o1, GPT-5, Mistral, OpenRouter, Vertex AI, Gemini, Artifacts, AI model switching, message…

🔍 Explore what happens under the hood with the ChatGPT web app, its backend API calls and more. And some speculation, of course.

Fractal is a scaffolding toolkit for building SOLID logic for your Python applications.