Highlights
- Pro
Lists (1)
Stars
Formalization of the Millennium Problems in Lean4.
Open-source high-performance RISC-V processor
A computer science textbook
A website which demonstrates how case-based explanations function
Consistent Hashing Ring Simulator made using raylib
Code for my dissertation at FEUP, related to optimizing task scheduling on a real-time system.
A curated list of practical financial machine learning tools and applications.
This C++ code explains how to use the Eigen C++ library to perform matrix computations. A video lecture and a post accompanying this code is provides.
Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks.This framework enables Claud…
Python package that provides utilities to easily load the MIMIC-CXR-JPG Dataset
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
Repository of algorithms implemented in pure assembly
Code from the mCoding sample videos
Well-documented Python demonstrations for spatial data analytics, geostatistical and machine learning to support my courses.
Comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources
Self-driving car simulator for the Duckietown universe
LLMs as Copilots for Theorem Proving in Lean
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Vizro is a low-code toolkit for building high-quality data visualization apps.
markdown preview plugin for (neo)vim
🎓 Path to a free self-taught education in Computer Science!
🔦 [Vim script] JSX and TSX syntax pretty highlighting for vim.
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
Repository containing all code for the videos on the Reducible YouTube channel
A launch point for your personal nvim configuration
Image inpainting tool powered by SOTA AI Model. Remove any unwanted object, defect, people from your pictures or erase and replace(powered by stable diffusion) any thing on your pictures.
Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…