Giters
Joshua Moerman (Jaxan)

Jaxan

Geek Repo

38

followers

55

following

112

stars

Company:Open Universiteit

Location:Utrecht

Home Page:https://joshuamoerman.nl

Twitter:@Jaxan_

Github PK Tool:Github PK Tool

Joshua Moerman's repositories

nominal-lstar

Code for "Learning nominal automata"

Language:HaskellStargazers:11Issues:5Issues:1

advanced-programming

Homework for the course advanced programming

Language:CleanStargazers:4Issues:5Issues:0

hybrid-ads

(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing

Language:C++License:MITStargazers:2Issues:2Issues:0

ons-hs

(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell

Language:HaskellLicense:MITStargazers:2Issues:2Issues:0

AedsHomework

homework for aeds

Language:CStargazers:1Issues:2Issues:0

basic-learning

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP

Language:JavaStargazers:1Issues:3Issues:0

genetic-sequence-formulizer

Playing around with genetic programming. Program will make a formula which approximates the input sequence.

Language:C++Stargazers:1Issues:2Issues:0

monoid-learner

Learns a monoid with an L*-like algorithm

Language:HaskellStargazers:1Issues:2Issues:0

Rational-Homotopy-Theory

Master thesis on Rational Homotopy Theory

Language:TeXStargazers:1Issues:2Issues:0

beats-sim

Simulation of the Gravity Beats app

Language:C++Stargazers:0Issues:2Issues:0

Dold-Kan

Bachelor thesis about the Dold-Kan correspondence

Language:ShellStargazers:0Issues:2Issues:0

gravity-pictures

Using the Gravity Beats simulation to make pictures :D

Language:C++Stargazers:0Issues:2Issues:0

ImageStreams

C++ library for streaming images (png/jpg/bmp)

Language:C++Stargazers:0Issues:3Issues:0

Kiss2FSM

Moved to:

Language:HaskellStargazers:0Issues:2Issues:0

maizena

C++ DaZeus something

Language:C++Stargazers:0Issues:4Issues:0

moggle

A sexy C++11 OpenGL library.

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

nlambda

Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

OpenRCT2

An open source re-implementation of RollerCoaster Tycoon 2 🎢

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

parallel-algorithms

Homework for the course Parallel Algorithms

Language:C++Stargazers:0Issues:2Issues:0

partition

Mirror

Language:GoStargazers:0Issues:2Issues:0

satuio

Using SAT solvers to construct UIOs and ADSs

Language:PythonStargazers:0Issues:2Issues:0

sparse-linear-algebra

Numerical computation in native Haskell

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

text2png

Converting text to PNG

Language:C++Stargazers:0Issues:2Issues:0