drone29a Goto Github PK

gg4clj

A simple wrapper for using R's ggplot2 in Clojure and Gorilla REPL

gnan-cep

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

haiti-quake

Supporting code for Haiti earthquake paper

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

lein-daemon

A leiningen plugin for daemonizing a clojure process

leiningen

A build tool for Clojure designed to not set your hair on fire.

loom

Graph library for Clojure

loom-impl

Extra graph implementations for Loom.

mcc

Parse C programs with instaparse

mcsema

x86 to machine code translation framework

mob

Distributed workflow processing in Clojure.

motive

Exploration in motion representation

munge

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

notion

A helper library for statistical inference

objc-helper-plugin-ida

Simplifies working with Objective-C binaries in IDA Pro

ora

oz

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

pillbox

A graph database service

plus-one

Approximate a third dimension using optical flow.

pyvex

Python bindings for Valgrind's VEX IR.

redis-clojure

A Clojure client library for the key-value storage system Redis

reputator

A reputation calculator

satori

A class project that may use optical flow, motion segmentation, and tracking

sbv

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

schema

Clojure(Script) library for declarative data description and validation