ZachJHansen

Pinned Repositories

anthem-benchmarks
A set of ATP benchmarks generated by Anthem
Language:OpenEdge ABL00
anthem-p2p
Program-to-program verification tool for ASP
Language:OpenEdge ABL30
anthem-rs
🎼 Translate answer set programs to first-order theorem prover language
Language:Rust00
ASPErrors
Common errors faced by novice ASP programmers
Language:R00
clingo-rs
🗝️ Rust bindings to the clingo library
Language:Rust00
Dist_Mem_GAPBS
Porting GAP Benchmark Suite to OPENShmem and xBGAS
Language:C++00
Heat-Map
Color-coded hardware health metrics display for TTU's HPCC.
Language:Python0 0 00
husky_customization
Template for user customizations of Husky URDF
Language:CMake00
IntroAiProjects
CS 188 Projects
Language:Python00
Overcooked
Capstone Project Repo
Language:Python00

ZachJHansen's Repositories

ZachJHansen/anthem-p2p
Program-to-program verification tool for ASP
Language:OpenEdge ABL30
ZachJHansen/anthem-benchmarks
A set of ATP benchmarks generated by Anthem
Language:OpenEdge ABL00
ZachJHansen/anthem-rs
🎼 Translate answer set programs to first-order theorem prover language
Language:Rust00
ZachJHansen/ASPErrors
Common errors faced by novice ASP programmers
Language:R00
ZachJHansen/clingo-rs
🗝️ Rust bindings to the clingo library
Language:Rust00
ZachJHansen/Dist_Mem_GAPBS
Porting GAP Benchmark Suite to OPENShmem and xBGAS
Language:C++00
ZachJHansen/Heat-Map
Color-coded hardware health metrics display for TTU's HPCC.
Language:Python0 0 00
ZachJHansen/husky_customization
Template for user customizations of Husky URDF
Language:CMake00
ZachJHansen/IntroAiProjects
CS 188 Projects
Language:Python00
ZachJHansen/Overcooked
Capstone Project Repo
Language:Python00
ZachJHansen/zanthem-next
A translator between answer set programs and first-order logic
Language:Rust