bmmoore

Pinned Repositories

c-semantics
Semantics of C in K
Language:C00
data-reify
Reification of data structures using observable sharing
Language:Haskell00
demo-k-interpreters
Handwritten translations of a K definition into interpreters in a variety of functional languages, to check performance.
Language:Standard ML00
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Shell00
git-svn-scripts
Some scripts for handling tags and ignores after a git-svn migration
Language:Haskell00
jolt
Jolt from a16z
Language:Rust00
k
The K tools
Language:Java00
kcoq
Tool used by K framework Coq backend
Language:Haskell11
logic
Definitions and algorithms for First-Order Logic, working towards saturation-based inductive provers
Language:Haskell2 1 01

bmmoore's Repositories

bmmoore/logic
Definitions and algorithms for First-Order Logic, working towards saturation-based inductive provers
Language:Haskell2 1 01
bmmoore/kcoq
Tool used by K framework Coq backend
Language:Haskell11
bmmoore/c-semantics
Semantics of C in K
Language:C00
bmmoore/data-reify
Reification of data structures using observable sharing
Language:Haskell00
bmmoore/demo-k-interpreters
Handwritten translations of a K definition into interpreters in a variety of functional languages, to check performance.
Language:Standard ML00
bmmoore/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Shell00
bmmoore/git-svn-scripts
Some scripts for handling tags and ignores after a git-svn migration
Language:Haskell00
bmmoore/jolt
Jolt from a16z
Language:Rust00
bmmoore/k
The K tools
Language:Java00
bmmoore/k-backend-prototypes
Language:C00
bmmoore/kore
Language:Haskell
bmmoore/matching-logic
Automatically exported from code.google.com/p/matching-logic
Language:Coq
bmmoore/ray
crude ray tracer
Language:Haskell
bmmoore/rustup.rs
The Rust toolchain installer
Language:Rust
bmmoore/scala-old-mirror
Mirror of the scala repo
Language:Scala
bmmoore/sglr-server
Modifying the k-framework sglr library to run as an external server
Language:C