drone29a

clj-oauth

OAuth Consumer support for Clojure

loom

Graph library for Clojure

munge

An evolving library of helper functions for data processing, matrices, and graphs

notion

A helper library for statistical inference

gnan-cep

Implementation of the Group-Node Attention Network (GNAN) model for community evolution prediction.

ailment

AIL: The angr Imtermediate Language.

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

c2hs

c2hs is a pre-processor for Haskell FFI bindings to C libraries

cabal

Official upstream development repository for Cabal and cabal-install

core.matrix

core.matrix : Matrix / Vector API for Clojure

csci476-code

Source code for CSCI 476 @ MSU (Computer Security)

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.

debug-hls

An example project to demonstrate HLS/GHC issue

dice

dom-lt

ferret

Ferret is a free software lisp implementation for real time embedded control systems.

haskell-companies

A gently curated list of companies using Haskell in industry

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

idris-jvm

JVM bytecode back end for Idris

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript based on code property graphs

language-c

Source repository for https://hackage.haskell.org/package/language-c

learn2state

ora

oz

Data visualizations in Clojure and ClojureScript using Vega and Vega-lite

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

site.bsidesboulder

This is the home for all of the BSides Boulder Planning and working activities.

stack

The Haskell Tool Stack

ubergraph

An all-purpose Clojure graph data structure that implements Loom protocols and more.

vectorz

Fast and flexible numerical library for Java

vectorz-clj

Fast matrix and vector maths library for Clojure - as a core.matrix implementation