logicchains's repositories
LPATHBench
Benchmarks of the longest path problem in various languages
Levgen-Parallel-Benchmarks
Simple Roguelike level generation benchmark of Rust, C, D, Go and more.
levgen-benchmarks
Crude random level generation benchmarks of C, Go, D and Rust.
MagicForest
Implementations of the magic forest problem in various languages
ArrayAccessBench
Microbenchmark of array access and mutation
Language:GoBSD-2-Clause000
Language:HaskellBSD-3-Clause000
jssembly
Jssembly is a library that allows you to execute native assembly from Java.
MIT000
llama.cpp
Port of Facebook's LLaMA model in C/C++
MIT000
Language:HTML000
Panglossian
Distributed, extensible open world backend
Language:Haskell000
ParticleBench
OpenGL particle animation benchmark of various languages
Language:RustGPL-2.0000
proofs
Random proof (and attempts thereat)
Language:Idris000