Matthias Hölzl (@hoelzl)

Top repositories

1

Clicc

The Clicc Common Lisp implementation (version 0.6.4)
Common Lisp
17
star
2

PatternGame

A simple UE4 game to demonstrate several design patterns for my software engineering courses
C++
11
star
3

stalin

Jeffrey Mark Siskind's optimizing Scheme compiler
C
7
star
4

Snark

Mark Stickel's Snark theorem prover
Common Lisp
7
star
5

PowerLoom

Unofficial Copy of the PowerLoom Knowledge Representation System
Java
6
star
6

sicl

Clone of the SICL Common Lisp Building Blocks
Common Lisp
5
star
7

Lua-Poem-Tools

Some tools for Poem, implemented in Lua
Lua
5
star
8

python-courses

Jupyter Notebook
4
star
9

SDP

Symbolic Dynamic Programming in Lisp
Common Lisp
4
star
10

Learning.lua

Reinforcement learning in Lua
Lua
3
star
11

Iliad.V2

The Implementation of Logical Inference for Adaptive Devices
Common Lisp
3
star
12

clm

Python
3
star
13

clinch

A very out of date experiment to implement Clojure in Clojure
Clojure
2
star
14

Par-T

The Parallel Thetis Compiler
Common Lisp
2
star
15

Iliad.V1

The low-level parts of the Poem implementation
Common Lisp
2
star
16

Bayes

Bayesian reasoning for Poem
Common Lisp
2
star
17

Set-OSX-Env

Small script to set the GUI environment variables in OSX
Shell
2
star
18

Iliad

The Iliad runtime for the Poem language
Common Lisp
2
star
19

clx

The Coding Academy Lexcture Manager (eXperimental)
Python
1
star
20

Iliad-Racket

Implementation of the Poem language in Racket
Racket
1
star
21

sketchbook

Some experiments with processing.
Java
1
star
22

LuaJIT

A clone of Mike Pall's LuaJIT repository at http://luajit.org/git/luajit-2.0.git
C
1
star
23

gwydion-experiments

Experiments with the Gwydion Dylan compiler.
C
1
star
24

gwydion-2.4-cleanup

Refactoring of Gwydion Dylan 2.4.
C
1
star
25

games

A collection of games to test machine learning algorithms.
Common Lisp
1
star
26

ARGoS-Scripting

Integration of scripting languages into the ARGoS simulator
C++
1
star
27

python-programmierer

Unterlagen zum Kurs Python für Programmierer
Jupyter Notebook
1
star
28

WasteRemoval

Poem/ALisp example for a waste-removal scenario
Common Lisp
1
star
29

proto-scel-compiler

A simple compiler for a vaguely SCEL-like language.
Common Lisp
1
star
30

ale

Prototype for the adaptive e-learning system used as example in our paper
Groovy
1
star
31

MGL

Clone of Gabor Melis's CL machine learning library
Common Lisp
1
star
32

Poem

Overview of Poem and its implementations
HTML
1
star
33

Ant-Algorithms

Some experiments with ant algorithms.
Common Lisp
1
star
34

Hexameter

Lisp version of the hexameter communication protocol
Common Lisp
1
star
35

Revue

A virtual machine for REVersible User Experiences in teaching algorithms
Clojure
1
star
36

Lua-Tools

Some tools for ASCENS, implemented in Lua
Lua
1
star
37

bee-algorithms

Demonstration of some bee algorithms.
Clojure
1
star
38

ML-Course

Python sources for some of my ML courses
Jupyter Notebook
1
star
39

ARGoS-Foraging

A foraging controller for ARGoS
C++
1
star
40

argos2

A copy of the ARGoS2 swarm robotics simulator developed by Carlo Pinciroli
C
1
star
41

LuaSCEL

An implementation of SCEL in Lua
Lua
1
star
42

gwydion-2.5-cleanup

Refactoring of Gwydion Dylan 2.5.
C
1
star