hoelzl/csp.js
Some constraint solving algorithms in JavaScript
Developer Profile
hoelzl
Discovered public repositories for hoelzl in the GitHub catalog.
hoelzl/ScienceCloud
Learning example for the science cloud
hoelzl/REdit
Environment editor for the ASCENS rescue scenario
hoelzl/JsCast
The JsCast editor for HTML animations
hoelzl/JsCast.ts
JavaScript application to build screencasts
hoelzl/PVS
Public repository.
hoelzl/MGL
Clone of Gabor Melis's CL machine learning library
hoelzl/atree
Just a simple christmas tree, based on redit story
hoelzl/Bayes
Bayesian reasoning for Poem
hoelzl/Academia
Example for teacher/student-based learning
hoelzl/node-xml2js
Simple XML to JavaScript object converter.
hoelzl/Clicc
The Clicc Common Lisp implementation (version 0.6.4)
hoelzl/Screamer
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
hoelzl/Iliad
The Iliad runtime for the Poem language
hoelzl/Hexameter
Lisp version of the hexameter communication protocol
hoelzl/homebrew
The missing package manager for OS X.
hoelzl/WasteRemoval
Poem/ALisp example for a waste-removal scenario
hoelzl/Programmable-Reinforcement-Learning
Reinforcement learning algorithms constrained by a partial program
hoelzl/Java-Kompakt
Musterlösungen zum Buch Java Kompakt
hoelzl/PoemLua
Workspace for Poem on top of Lua
hoelzl/metalua
The metalua programming language
hoelzl/Learning.lua
Reinforcement learning in Lua
hoelzl/Iliad-Racket
Implementation of the Poem language in Racket
hoelzl/racket
The Racket repository
hoelzl/argos3
A parallel, multi-engine simulator for heterogeneous swarm robotics
hoelzl/Poem-Sandbox
Some experiments for the development of the Poem implementation
hoelzl/poem.rkt
Implementation of the Poem language in Racket (currently only a stub)
hoelzl/SXEL
Semantics of S-Expression based SCEL, implemented in PLT Redex
hoelzl/Action-Theory
An implementation of terms for action theories in Lisp
hoelzl/SDP
Symbolic Dynamic Programming in Lisp
hoelzl/Par-T
The Parallel Thetis Compiler
hoelzl/Iliad.V2
The Implementation of Logical Inference for Adaptive Devices
hoelzl/Snark
Mark Stickel's Snark theorem prover
hoelzl/Iliad.V1
The low-level parts of the Poem implementation
hoelzl/Lua-Poem-Tools
Some tools for Poem, implemented in Lua
hoelzl/cl-rmath
Common Lisp wrapper for libRmath.
hoelzl/Lua-Tools
Some tools for ASCENS, implemented in Lua
hoelzl/PowerLoom
Unofficial Copy of the PowerLoom Knowledge Representation System
hoelzl/julia
The Julia Language: a fresh approach to technical computing.
hoelzl/minisat
A minimalistic and high-performance SAT solver
hoelzl/plb
Programming language benchmarks
hoelzl/LuaJIT
A clone of Mike Pall's LuaJIT repository at http://luajit.org/git/luajit-2.0.git
hoelzl/LuaSCEL
An implementation of SCEL in Lua
hoelzl/ARGoS-Scripting
Integration of scripting languages into the ARGoS simulator
hoelzl/ARGoS-Foraging
A foraging controller for ARGoS
hoelzl/Ant-Algorithms
Some experiments with ant algorithms.
hoelzl/argos2
A copy of the ARGoS2 swarm robotics simulator developed by Carlo Pinciroli
hoelzl/bee-algorithms
Demonstration of some bee algorithms.
hoelzl/sicl
Clone of the SICL Common Lisp Building Blocks
hoelzl/proto-scel-compiler
A simple compiler for a vaguely SCEL-like language.