Pinned Repositories
booster
Fast and secure initramfs generator
eve-parity
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
stdlib
✨ Standard library for JavaScript and Node.js. ✨
ggml
Tensor library for machine learning
llama.cpp
Port of Facebook's LLaMA model in C/C++
personal_website
react-element-to-jsx-string
Turn a ReactElement into the corresponding JSX string
svg-inject
A tiny, intuitive, robust, caching solution for injecting SVG files inline into the DOM.
zynthesiser
zynthesiser, a program synthesis engine, built on top of Microsoft's Z3
oink
Oink, an implementation of modern parity game solvers
thomasfsteeples's Repositories
thomasfsteeples/ggml
Tensor library for machine learning
thomasfsteeples/llama.cpp
Port of Facebook's LLaMA model in C/C++
thomasfsteeples/personal_website
thomasfsteeples/react-element-to-jsx-string
Turn a ReactElement into the corresponding JSX string
thomasfsteeples/svg-inject
A tiny, intuitive, robust, caching solution for injecting SVG files inline into the DOM.
thomasfsteeples/zynthesiser
zynthesiser, a program synthesis engine, built on top of Microsoft's Z3