Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.

A statically typed embedding of miniKanren in Haskell

K-Means clustering - constrained with minimum and maximum cluster size. Documentation: https://joshlk.github.io/k-means-constrained

Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.

Компилятор Рефала-5λ

A Language with Dependent Data and Codata Types

[CVPR 2024 Highlight] VGGSfM Visual Geometry Grounded Deep Structure From Motion

find packages that should be in requirements for a project

Do you need robust and fast local feature extraction? You are in the right place!

Implementation of XFeat (CVPR 2024). Do you need robust and fast local feature extraction? You are in the right place!

(Old Version) D2S: Representing sparse descriptors and scene coordinates for visual relocalization

Sample code for compute shader 101 training

Rust implementation of Peter Shirley's "Ray Tracing in One Weekend"

💎 Amber the programming language compiled to bash

[SIGGRAPH'24] 2D Gaussian Splatting for Geometrically Accurate Radiance Fields

⚡ A high-performance path tracer implemented in Rust based on "Ray Tracing in One Weekend" featuring static dispatch, multi-threaded rendering and a variety of preset scenes.

3D framework for Svelte

The English version of 14 lectures on visual SLAM.

a follow-up work of HPM-MVS

Multi-Scale Geometric Consistency Guided and Planar Prior Assisted Multi-View Stereo (TPAMI 2022)

Effectively Detecting Loop Closures using Point Cloud Density Maps

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Distributed and Graph-based Structure from Motion. This project includes the official implementation of our Pattern Recognition 2020 paper: Graph-Based Parallel Large Scale Structure from Motion.

Codes of MVSFormer++: Revealing the Devil in Transformer’s Details for Multi-View Stereo (ICLR2024)

Official code of PatchmatchNet (CVPR 2021 Oral)

?

TTS RHVoice REST API

ORB (Oriented FAST and Rotated BRIEF) feature extraction and matching by CUDA

Google's Operations Research tools:

PROSAC algorithm in python