Pinned Repositories
business-model-canvas
An exercise for learning angular.js, which happens to be a business model canvas editor
clj-linear
A nice clojure api for doing linear proramming
hodor
My implementation of "An Incremental Approach to Compiler Construction"
little-prover-clj
micrologic
A literate clojure implementation of microKanren
nom-7-precedence
Backport of precedence parser to nom 7
parsing-with-derivatives
A clojure implementation of parsing with derivatives
TwitConc
A small concordancer built on top of twitter search
WordnetJapanActiveRecord
Ruby ActiveRecord mapping for the Japanese WordNet sqlite database
mullr's Repositories
mullr/little-prover-clj
mullr/reading-room
mullr/regex-derivatives
mullr/spacemacs-custom
mullr/beaker
Puppet Acceptance Testing Harness
mullr/calc-rs
A silly cli calculator, for rust practice
mullr/clj-kitchensink
Library of utility functions for clojure
mullr/clojure
The Clojure programming language
mullr/generate
Generates Go (golang) Structs from JSON schema.
mullr/jdbc-util
Common jdbc utilities for use in Puppet Labs clojure projects
mullr/jenkinsfile-test
just for build system testing
mullr/lacinia
GraphQL implementation in pure Clojure
mullr/lacinia-gen
Generators for GraphQL
mullr/lein-protoc
Leiningen Plugin for Compiling Google Protocol Buffers
mullr/leiningen
Automate Clojure projects without setting your hair on fire.
mullr/migratus
MIGRATE ALL THE THINGS!
mullr/oxcc
A port of Open Source Car Control written in Rust
mullr/pglogical
Logical Replication extension for PostgreSQL 9.4, 9.5 and 9.6 (Postgres), providing much faster replication than Slony, Bucardo or Londiste, as well as cross-version upgrades.
mullr/plfa.github.io
Introduction to programming language theory in Agda.
mullr/puppet-docs
Curated Puppet Documentation
mullr/puppetdb
Centralized Puppet Storage
mullr/puppetlabs-inifile
mullr/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
mullr/racer-with-combine-repro
mullr/rherkin
A extensible rust implementation of the gherkin (cucumber) test language
mullr/rlisp
A lisp interpreter for learning rust, of course
mullr/rsl-testing
mullr/tensorflow
Computation using data flow graphs for scalable machine learning
mullr/trapperkeeper
A services framework for Clojure / JVM applications.
mullr/wiki
Mirror of the Cocorico! Wiki https://github.com/coq/coq/wiki for backup and PR. Synchronized every hour.