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