Pinned Repositories
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/
k
The K tools
llvm-dbas
LLVM Assembler adding Debug Information at IR Level.
nierfishingbot
Nier: Automata Fishing Bot
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
terraria-z3
Terraria NPC Happiness Algorithm
dwightguth's Repositories
dwightguth/nierfishingbot
Nier: Automata Fishing Bot
dwightguth/terraria-z3
Terraria NPC Happiness Algorithm
dwightguth/llvm-dbas
LLVM Assembler adding Debug Information at IR Level.
dwightguth/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
dwightguth/c-semantics
Semantics of C in K
dwightguth/csmith
Csmith, a random generator of C programs
dwightguth/evm-semantics
Modeling EVM in the K framework
dwightguth/evm-semantics-docker
Docker image for https://github.com/kframework/evm-semantics/
dwightguth/flate2-rs
FLATE, Gzip, and Zlib bindings for Rust
dwightguth/go-ethereum
Go implementation of the Ethereum protocol
dwightguth/haste
dwightguth/im-rs
Assorted immutable collection datatypes for Rust
dwightguth/jenkins
Jenkins automation server
dwightguth/linux
Linux kernel source tree
dwightguth/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
dwightguth/mantis
A Scala based client for Ethereum Classic.
dwightguth/ocaml
The core OCaml system: compilers, runtime system, base libraries
dwightguth/pipeline-model-definition-plugin
dwightguth/pyyaml
Canonical source repository for PyYAML
dwightguth/rust
A safe, concurrent, practical language.
dwightguth/rv-monitor
RV-Monitor core system code
dwightguth/rv-predict
Code for improved rv-predict and installer
dwightguth/rvmatch-eclipse-plugin
dwightguth/secp256k1
Optimized C library for EC operations on curve secp256k1
dwightguth/secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml
dwightguth/Software-Analysis-Benchmark
Benchmark Software for Evaluation of Software Analysis Tools
dwightguth/solidity
Solidity, the Contract-Oriented Programming Language
dwightguth/test-license
dwightguth/yaml
Support for serialising Haskell to and from Yaml.
dwightguth/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.