Giters
rinshankaihou

rinshankaihou

Geek Repo

7

followers

11

following

17

stars

Github PK Tool:Github PK Tool

rinshankaihou's repositories

pathway_finding_verification

Correctness proof of a pathway finding algorithm in Coq.

Language:CoqStargazers:3Issues:4Issues:1

rust-html-renderer

Prototype of a renderer that produce lifetime-annotated html from rust source code and RLS response.

License:MITStargazers:1Issues:0Issues:0

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:1Issues:0Issues:0

gradescope_ocaml

Language:OCamlStargazers:0Issues:0Issues:0

ora

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Prusti_Example

Language:RustStargazers:0Issues:0Issues:0

rust-analyzer

An experimental Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ui-for-pl

User Interfaces for Programming Languages: The Compendium

Language:TeXStargazers:0Issues:0Issues:0

wormhole

Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0