Pinned Repositories
dependent_traits
A dependent type system built entirely in Rust's trait system (WIP).
fallthrough
Simple fallthrough match for Rust.
hm
libcuckoo.rs
Rust port of libcuckoo
mvcc-rust
Experimenting with MVCC in Rust
pythonesque's Repositories
pythonesque/dependent_traits
A dependent type system built entirely in Rust's trait system (WIP).
pythonesque/libcuckoo.rs
Rust port of libcuckoo
pythonesque/Airshipper
A cross-platform Veloren launcher.
pythonesque/clock-bound
Used to generate and compare bounded timestamps.
pythonesque/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
pythonesque/Coq-Equations
A plugin for Coq to add dependent pattern-matching.
pythonesque/Dark-Souls-100-Percent-Tracker
Tracker made to keep track of all the objectives in a Dark Souls 100% speedrun
pythonesque/egui_wgpu_backend
Backend code to use egui with wgpu.
pythonesque/guillotiere
A dynamic texture atlas allocator with fast deallocation and rectangle coalescing.
pythonesque/iotedge
The IoT Edge OSS project
pythonesque/kravanenn
A set of tools for Coq written in Rust
pythonesque/msgbox-rs
Simple, cross-platform message box GUI library
pythonesque/nan
Native Abstractions for Node.js
pythonesque/puzzles
Code for a variety of fun puzzle problems.
pythonesque/rawact
[POC] A babel plugin which compiles React.js components into native DOM instructions to eliminate the need for the react library at runtime.
pythonesque/rayon
Rayon: A data parallelism library for Rust
pythonesque/ron
Rusty Object Notation
pythonesque/rust-executors
A library with task executors for Rust
pythonesque/rust-gc
WIP: integrating tracing GC and reference counting in (mostly safe?) Rust
pythonesque/shaderc-rs
Rust bindings for the shaderc library.
pythonesque/tetris-demo
A Tetris example written in Rust using Piston
pythonesque/trustfall-rustdoc-adapter
Trustfall adapter for querying rustdoc
pythonesque/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
pythonesque/vartrix
Single-Cell Genotyping Tool
pythonesque/vek
Generic 2D-3D math swiss army knife for game engines, with SIMD support and focus on convenience.
pythonesque/vim
The official Vim repository
pythonesque/wgpu
Native WebGPU implementation based on gfx-hal
pythonesque/wgpu-profiler
Simple profiler scopes for wgpu using timer queries
pythonesque/wuffs
Wrangling Untrusted File Formats Safely
pythonesque/z3
The Z3 Theorem Prover