Pinned Repositories
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
andrewmw94.github.io
cedar-examples
Some examples of using the Cedar language to specify authorization
CedarLean
COMP_576_Assgn_0
gandalf_2020_experiments
llvm_clang_GSoC
ltlf_prism
probabilistic_synthesis_for_robotics
TMKit_650
andrewmw94's Repositories
andrewmw94/ltlf_prism
andrewmw94/llvm_clang_GSoC
andrewmw94/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
andrewmw94/andrewmw94.github.io
andrewmw94/cedar-examples
Some examples of using the Cedar language to specify authorization
andrewmw94/CedarLean
andrewmw94/COMP_576_Assgn_0
andrewmw94/configs
my emacs config
andrewmw94/gandalf_2020_experiments
andrewmw94/probabilistic_synthesis_for_robotics
andrewmw94/TMKit_650
andrewmw94/dpll_java
andrewmw94/DroneSenDesg2015
andrewmw94/graph
Boost.org graph module
andrewmw94/kd_tree
KD_tree for highschool comp sci class
andrewmw94/lean-sys
Rust bindings for the Lean 4 proof assistant
andrewmw94/lean4repl
A simple REPL for Lean 4, returning information about errors and sorries.
andrewmw94/lean_gen
Lean based on mathlib
andrewmw94/lean_rust_ffi_example
andrewmw94/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
andrewmw94/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
andrewmw94/LLVMLinuxKernel
andrewmw94/prism
The main development version of the PRISM model checker.
andrewmw94/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
andrewmw94/prism_spot_minimal_example
andrewmw94/resume
andrewmw94/robocode_class
andrewmw94/stochastic_games_for_robotics_code