Skip to content
View matthavener's full-sized avatar

Organizations

@DFW-Clojure

Block or report matthavener

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Non-device-specific code, projects, and wiki pages relating specifically to the OpenDingux operating system

464 46 Updated Dec 15, 2022

A JavaScript API for drawing unconventional text effects on the web.

JavaScript 3,078 206 Updated Jul 28, 2020

Quickly get your dotfiles up and running

Shell 253 22 Updated Oct 5, 2020

a library for datomic that sends metrics to riemann

Clojure 18 6 Updated Feb 28, 2015

Chez Scheme

Scheme 7,269 1,007 Updated Mar 20, 2026

Another to-do list app. Yes, another one. Sorry.

JavaScript 1 1 Updated Jul 16, 2016

A Heroku buildpack to start Datomic using a worker

Shell 9 5 Updated Jan 18, 2018

ClojureScript interface to Facebook's React

Clojure 25 2 Updated Nov 27, 2017
Clojure 1 1 Updated Feb 29, 2016

set of web security test cases and a toolkit to construct new ones

Go 908 66 Updated Oct 2, 2020

Source code for testing the Row Hammer error mechanism in DRAM devices. Described in the ISCA 2014 paper by Kim et al. at http://users.ece.cmu.edu/~omutlu/pub/dram-row-hammer_isca14.pdf.

C 237 43 Updated Sep 2, 2015

Cryptol: The Language of Cryptography

Haskell 1,199 127 Updated Mar 30, 2026

A native Erlang IPMI library.

Erlang 29 8 Updated Oct 28, 2025

A simple way to setup select dropdowns that can switch between sets of options.

JavaScript 2 Updated Nov 1, 2013

Library for SRTP (Secure Realtime Transport Protocol)

C 1,369 514 Updated Mar 14, 2026

A framework for distributed systems verification, with fault injection

Clojure 7,344 746 Updated Mar 31, 2026
Clojure 2,811 153 Updated May 30, 2024

A Python library for conversion and computation of colour.

Python 5 1 Updated May 21, 2017

JavaScript Debugging Capabilities for UIWebView

Objective-C 93 20 Updated May 15, 2013
Clojure 5 Updated Apr 2, 2013
JavaScript 20 Updated Mar 16, 2013

A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.

Vim Script 8,490 295 Updated Mar 17, 2026

Something that will someday be core.reactive for clojure

Clojure 31 2 Updated Jul 9, 2012
Clojure 3 Updated May 15, 2012

KrailOS rewritten in clojure

Clojure 2 Updated Nov 11, 2014

A simple and small IRC library/bot framework written in Clojure.

Clojure 1 Updated Nov 27, 2011

Simple, high-performance event-driven HTTP client+server for Clojure

Java 2,611 351 Updated Nov 18, 2025
Python 4 3 Updated Mar 2, 2012

Project Euler solutions in Erlang

Erlang 1 Updated Dec 13, 2011
C++ 3 3 Updated Apr 2, 2015
Next