patrik-cihal Goto Github PK

ai-cli-assistant

algo

avl_tree

A rust implementation of AVL trees

binary-search-tree

blockchain

cargo-compete

A Cargo subcommand for competitive programming

checkers

competitive-workspace

Example of the workspace to fork

continous-nns

Learning how neural networks are made from ground up including gradient descent. Trying to replicate sequential neural networks such as RNNs or liquid neural networks.

egui_example

Simple example on how to use egui with wgpu and winit.

egui_file

File dialog for egui

egui_graphs

Interactive graph visualization widget for rust powered by egui and petgraph

ellipsoid

Simple cross-platform 2d graphics rendering library made in Rust.

ellipsoid-derive

Derive features for Ellipsoid crate.

enum-bytes

gaussian-elimination

Gaussian elimintation implemented in Rust while learning about linear algebra.

gomoku

Gomoku AI made in Rust.

kasiopea-2022

Solutions for Kasiopea 2022 competition written in Rust.

kasiopea-2023-lean4

lean-graph

Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.

learn-wgpu

Guide for using gfx-rs's wgpu library.

manifold

Manifold Markets: A market for every question

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

math2001-study

micrograd-rs

Automatic computation of gradients

nannou

A Creative Coding Framework for Rust.

nbodies-simulation

newtons-fractal

opencv-face-recognition-python

Face Recognition using OpenCV and Python.

perfect-collisions