Giters
KUO-TSAN HSU (Gordon) (kuotsanhsu)

kuotsanhsu

Geek Repo

3

followers

1

following

38

stars

Company:@Woodpecker-Technologies

Github PK Tool:Github PK Tool

KUO-TSAN HSU (Gordon)'s repositories

cses

Language:C++Stargazers:1Issues:0Issues:0

calc-rust

Classical sequent calculus assistant

Language:RustStargazers:0Issues:1Issues:0

formal-web

Language:LeanStargazers:0Issues:0Issues:0

ICG

Interactive Computer Graphics, 2020 Spring at NTU by Prof. Ming Ouhyoung

Stargazers:0Issues:1Issues:0

lean4-dump

Language:LeanStargazers:0Issues:0Issues:0

rustlings-solutions

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:0Issues:0Issues:0

software-foundations-lean4

A Lean 4 adaptation of the "Software Foundations" series by Benjamin Pierce et al.

Language:LeanLicense:MITStargazers:0Issues:1Issues:0

Survey-CMA-ES

A survey on CMA-ES with slides and demo for the 2d case.

Stargazers:0Issues:1Issues:0

XiangShan-dump

XiangShan Verilog dump.

Language:VStargazers:0Issues:0Issues:0

sv-tools

SystemVerilog tools

License:MITStargazers:0Issues:0Issues:0

theorem_proving_in_lean4

Theorem Proving in Lean 4

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