bendisposto/core.logic
Public repository.
Developer Profile
bendisposto
Discovered public repositories for bendisposto in the GitHub catalog.
bendisposto/emacs-dirtree
Directory tree views in Emacs
bendisposto/iText-4.2.0
Mirror of last iText release available under LGPL/MPL
bendisposto/emacs.d
Public repository.
bendisposto/catnip
A web based Clojure IDE
bendisposto/infolog
Public repository.
bendisposto/infolog-parser
Public repository.
bendisposto/clojure-sample
Minimal Hello World web app in Clojure/Compojure
bendisposto/prolog_doc_gen
Prolog Doc for ProB
bendisposto/reloaded
Leiningen 2 project template with tools.namespace, profiles, and user.clj
bendisposto/eboc
Public repository.
bendisposto/analytics
Public repository.
bendisposto/datomicism
interface for visualizing datomic schemas and queries
bendisposto/prolog-exp
Just some tests with codeq
bendisposto/codeq
Creates Datomic dbs from git repos
bendisposto/incanter
Clojure-based, R-like statistical computing and graphics environment for the JVM
bendisposto/prob2
ProB 2.0
bendisposto/zmq-experiment
zmq-experiment
bendisposto/xperiment_jenkins
Just an experiment for building no interesting code here
bendisposto/evalB
Public repository.
bendisposto/live-cljs
a clojurescript version of bret victor's editable game
bendisposto/ld23
ludum dare 23
bendisposto/clotri
Public repository.
bendisposto/E4-TestApp
Public repository.
bendisposto/probcore
Public repository.
bendisposto/JVersionNumberer
Public repository.
bendisposto/probparsers
ProB Parser library
bendisposto/sablecc-stups
Public repository.
bendisposto/bla
B Lisp Animator