tranchis/modallogic
Modal Logic Playground
Discovered public repositories for tranchis in the GitHub catalog.
Modal Logic Playground
A community coding style guide for the Clojure programming language
A Clojure REPL bot for Atlassian HipChat
Leiningen plugin: Autobuilder and simple server for Marginalia documentation.
RDF-manipulation library for Clojure
Wrapper around joshsh's implementation of an importer from WordNet to Neo4j
Tool that allows to convert OSM XML files into OSM databases, in Clojure. Invokable as a Java library.
Clojure-based, R-like statistical computing and graphics environment for the JVM
Public repository.
Public repository.
Automatic conversion from Maven pom.xml to Leiningen project.clj using original code from thickey.
Some useful clojure snippets found around the Internet or made by myself that I use quite often.
Pandora is an Agent-Based Modelling framework for large-scale simulations
Public repository.
Public repository.
You know, for Macs.
Terasology is an open source project started by Benjamin "begla" Glatzel to research procedural terrain generation and efficient rendering techniques in Java using the LWJGL. The engine uses a block-based voxel-like approach as seen in Minecraft. After proving itself as a solid tech demo begla was joined at first by Anton "small-jeeper" Kireev and Rasmus "Cervator" Praestholm and a full-fledged game concept was born. Our goal is a game that pays ample tribute to Minecraft in initial look and origin, but stakes out its own niche by adopting the NPC-helper and caretaker feel from such games as Dwarf Fortress and Dungeon Keeper, while striving for added depth and sophistication in the foundation systems akin to DF.
Maven repository for ALIVE plugins
The beauty of TextMate meets the power of Vim.
Multi Theft Auto is an open-source game engine that adds full multi-player network play functionality to Rockstar North's Grand Theft Auto game series, in which this functionality is not originally found.
Watch - Interpret - Reason - Enforce
Map Sky Wave
OWL Visualization for Earth Science
tranchis.github.com
A powerfull free cross-platform RTS engine
This tool allows for converting XML Schema files (.xsd) to Thrift (.thrift) and Protocol Buffers (.proto).