Beast code in Giters

Joshua Yanovski's repositories

dependent_traits

A dependent type system built entirely in Rust's trait system (WIP).

Language:Rust25 30

Airshipper

A cross-platform Veloren launcher.

Language:RustGPL-3.0000

clock-bound

Used to generate and compare bounded timestamps.

Language:Rust000

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.

Language:OCamlLGPL-2.1010

Coq-Equations

A plugin for Coq to add dependent pattern-matching.

Language:OCamlLGPL-2.1020

Dark-Souls-100-Percent-Tracker

Tracker made to keep track of all the objectives in a Dark Souls 100% speedrun

Language:Visual Basic010

egui_wgpu_backend

Backend code to use egui with wgpu.

Language:RustApache-2.0000

guillotiere

A dynamic texture atlas allocator with fast deallocation and rectangle coalescing.

Language:RustMIT000

iotedge

The IoT Edge OSS project

Language:C#MIT010

kravanenn

A set of tools for Coq written in Rust

Language:Rust010

msgbox-rs

Simple, cross-platform message box GUI library

Language:Rust000

nan

Native Abstractions for Node.js

Language:C++NOASSERTION010

puzzles

Code for a variety of fun puzzle problems.

Language:Python010

rawact

[POC] A babel plugin which compiles React.js components into native DOM instructions to eliminate the need for the react library at runtime.

Language:JavaScriptMIT010

rayon

Rayon: A data parallelism library for Rust

Language:RustApache-2.0000

ron

Rusty Object Notation

Language:RustNOASSERTION000

rust-executors

A library with task executors for Rust

Language:RustMIT000

rust-gc

WIP: integrating tracing GC and reference counting in (mostly safe?) Rust

Language:Rust020

shaderc-rs

Rust bindings for the shaderc library.

Language:RustApache-2.0000

tetris-demo

A Tetris example written in Rust using Piston

Language:RustMIT010

trustfall-rustdoc-adapter

Trustfall adapter for querying rustdoc

Language:RustApache-2.0000

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION010

vartrix

Single-Cell Genotyping Tool

Language:RustMIT010

vek

Generic 2D-3D math swiss army knife for game engines, with SIMD support and focus on convenience.

Language:RustApache-2.0000

vim

The official Vim repository

Language:C010

wgpu

Native WebGPU implementation based on gfx-hal

Language:RustMPL-2.0000

wgpu-profiler

Simple profiler scopes for wgpu using timer queries

Language:RustApache-2.0000

wuffs

Wrangling Untrusted File Formats Safely

Language:CApache-2.0000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION010

pythonesque

Joshua Yanovski's repositories

dependent_traits

libcuckoo.rs

Airshipper

clock-bound

coq

Coq-Equations

Dark-Souls-100-Percent-Tracker

egui_wgpu_backend

guillotiere

iotedge

kravanenn

msgbox-rs

nan

puzzles

rawact

rayon

ron

rust-executors

rust-gc

shaderc-rs

tetris-demo

trustfall-rustdoc-adapter

UniMath

vartrix

vek

vim

wgpu

wgpu-profiler

wuffs

z3