drone29a
CS Assistant Professor at @msu. Working on computer security via programming languages, formal methods, and machine learning. Previously at @kudu-dynamics.
@msuBozeman, MT
Pinned Repositories
calendar-kit
Calendar and scheduling framework for Cappuccino
clj-oauth
OAuth Consumer support for Clojure
clojure-neo4j
A wrapper around neo4j (http://neo4j.org/ ) in the Clojure language
clojure-twitter
Clojure client for Twitter API
closet
Clojure client for the Cassandra database
gnan-cep
Implementation of the Group-Node Attention Network (GNAN) model for community evolution prediction.
binaryninja-haskell
blaze-platform
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
blaze-ui
ghidra-haskell
drone29a's Repositories
drone29a/clj-oauth
OAuth Consumer support for Clojure
drone29a/loom
Graph library for Clojure
drone29a/munge
An evolving library of helper functions for data processing, matrices, and graphs
drone29a/notion
A helper library for statistical inference
drone29a/gnan-cep
Implementation of the Group-Node Attention Network (GNAN) model for community evolution prediction.
drone29a/ailment
AIL: The angr Imtermediate Language.
drone29a/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
drone29a/c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
drone29a/cabal
Official upstream development repository for Cabal and cabal-install
drone29a/core.matrix
core.matrix : Matrix / Vector API for Clojure
drone29a/csci476-code
Source code for CSCI 476 @ MSU (Computer Security)
drone29a/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
drone29a/debug-hls
An example project to demonstrate HLS/GHC issue
drone29a/dice
drone29a/dom-lt
drone29a/ferret
Ferret is a free software lisp implementation for real time embedded control systems.
drone29a/haskell-companies
A gently curated list of companies using Haskell in industry
drone29a/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
drone29a/idris-jvm
JVM bytecode back end for Idris
drone29a/joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript based on code property graphs
drone29a/language-c
Source repository for https://hackage.haskell.org/package/language-c
drone29a/learn2state
drone29a/ora
drone29a/oz
Data visualizations in Clojure and ClojureScript using Vega and Vega-lite
drone29a/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
drone29a/site.bsidesboulder
This is the home for all of the BSides Boulder Planning and working activities.
drone29a/stack
The Haskell Tool Stack
drone29a/ubergraph
An all-purpose Clojure graph data structure that implements Loom protocols and more.
drone29a/vectorz
Fast and flexible numerical library for Java
drone29a/vectorz-clj
Fast matrix and vector maths library for Clojure - as a core.matrix implementation