Dwight Guth's repositories
terraria-z3
Terraria NPC Happiness Algorithm
nierfishingbot
Nier: Automata Fishing Bot
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
c-semantics
Semantics of C in K
csmith
Csmith, a random generator of C programs
evm-semantics
Modeling EVM in the K framework
evm-semantics-docker
Docker image for https://github.com/kframework/evm-semantics/
im-rs
Assorted immutable collection datatypes for Rust
itc-benchmarks
static analysis benchmarks from Toyota ITC
jenkins
Jenkins automation server
pyyaml
Canonical source repository for PyYAML
rust
A safe, concurrent, practical language.
rv-monitor
RV-Monitor core system code
rv-predict
Code for improved rv-predict and installer
secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml
Software-Analysis-Benchmark
Benchmark Software for Evaluation of Software Analysis Tools
solidity
Solidity, the Contract-Oriented Programming Language
yaml
Support for serialising Haskell to and from Yaml.
Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.