Pinned Repositories
cljs-nodejs-coreasync-bootstrap
Scaffold setup for some ClojureScript, node.js, core.async action
datalog
contrib.datalog brought back to life
devbox
frinj
Practical unit-of-measure calculator DSL for Clojure / ClojureScript
frins
A practical unit-of-measure calculator DSL for Scala
go-tutorials-core-async
Some go tutorials converted to core.async
pipejine
Flexible, Safe and Simple Multi-Consumer/Producer Clojure Pipelines
scheme-clojure
Scheme in Clojure
scheme-scala
Interpreter of (a subset of) the Scheme programming language, in Scala
symbolic-execution
Applied Symbolic Execution with KLEE/LLVM
martintrojer's Repositories
martintrojer/pipejine
Flexible, Safe and Simple Multi-Consumer/Producer Clojure Pipelines
martintrojer/go-tutorials-core-async
Some go tutorials converted to core.async
martintrojer/datalog
contrib.datalog brought back to life
martintrojer/cljs-nodejs-coreasync-bootstrap
Scaffold setup for some ClojureScript, node.js, core.async action
martintrojer/scheme-scala
Interpreter of (a subset of) the Scheme programming language, in Scala
martintrojer/symbolic-execution
Applied Symbolic Execution with KLEE/LLVM
martintrojer/scheme-clojure
Scheme in Clojure
martintrojer/devbox
martintrojer/qemu-syborg
QEMU virtual platform, Symbian baseport (BSP) and tools
martintrojer/simulant-bootstrap
Simulant bootstrap project
martintrojer/edn-scala
An EDN format reader/writer for Scala
martintrojer/reasoned-schemer-core.logic
Reasoned Schemer in core.logic
martintrojer/atom-scala
Clojure-style Atoms for Scala
martintrojer/mtorrent
A fast, lightweight, head-less, curses based, configurable torrent client.
martintrojer/cljmirror
A Clojure Web REPL, based on CodeMirror
martintrojer/euroclojure-demo
Sources for the Xively EuropClojure demo
martintrojer/postgres-bootstrap
martintrojer/scheme-java
Scheme in Java8
martintrojer/scheme-python
Hacky Scheme interpreter written in Python
martintrojer/four
4k Clojure Demo Competition
martintrojer/incubator-storm
Mirror of Apache Storm
martintrojer/rabbitmq-tutorials
Tutorials for using RabbitMQ in various ways