Jaxan

Open UniversiteitUtrecht

Pinned Repositories

advanced-programming
Homework for the course advanced programming
Language:Clean4 5 01
AedsHomework
homework for aeds
Language:C1 2 00
basic-learning
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP
Language:Java1 3 00
genetic-sequence-formulizer
Playing around with genetic programming. Program will make a formula which approximates the input sequence.
Language:C++1 2 00
hybrid-ads
(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing
Language:C++2 2 01
monoid-learner
Learns a monoid with an L*-like algorithm
Language:Haskell1 2 00
nominal-lstar
Code for "Learning nominal automata"
Language:Haskell11 5 10
ons-hs
(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
Language:Haskell2 2 00
Rational-Homotopy-Theory
Master thesis on Rational Homotopy Theory
Language:TeX1 2 00

Jaxan's Repositories

Jaxan/nominal-lstar
Code for "Learning nominal automata"
Language:Haskell11 5 10
Jaxan/advanced-programming
Homework for the course advanced programming
Language:Clean4 5 01
Jaxan/hybrid-ads
(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing
Language:C++2 2 01
Jaxan/ons-hs
(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
Language:Haskell2 2 00
Jaxan/AedsHomework
homework for aeds
Language:C1 2 00
Jaxan/basic-learning
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP
Language:Java1 3 00
Jaxan/genetic-sequence-formulizer
Playing around with genetic programming. Program will make a formula which approximates the input sequence.
Language:C++1 2 00
Jaxan/monoid-learner
Learns a monoid with an L*-like algorithm
Language:Haskell1 2 00
Jaxan/Rational-Homotopy-Theory
Master thesis on Rational Homotopy Theory
Language:TeX1 2 00
Jaxan/beats-sim
Simulation of the Gravity Beats app
Language:C++2 0
Jaxan/Dold-Kan
Bachelor thesis about the Dold-Kan correspondence
Language:Shell2 0
Jaxan/gravity-pictures
Using the Gravity Beats simulation to make pictures :D
Language:C++2 0
Jaxan/ImageStreams
C++ library for streaming images (png/jpg/bmp)
Language:C++3 01
Jaxan/Kiss2FSM
Moved to:
Language:Haskell2 0
Jaxan/maizena
C++ DaZeus something
Language:C++4 0
Jaxan/moggle
A sexy C++11 OpenGL library.
Language:C++2 0
Jaxan/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:Haskell2 0
Jaxan/OpenRCT2
An open source re-implementation of RollerCoaster Tycoon 2 🎢
Language:C++2 0
Jaxan/parallel-algorithms
Homework for the course Parallel Algorithms
Language:C++2 0
Jaxan/partition
Mirror
Language:Go2 0
Jaxan/satuio
Using SAT solvers to construct UIOs and ADSs
Language:Python2 0
Jaxan/sparse-linear-algebra
Numerical computation in native Haskell
Language:Haskell2 0
Jaxan/text2png
Converting text to PNG
Language:C++2 0

Jaxan

Pinned Repositories

advanced-programming

AedsHomework

basic-learning

genetic-sequence-formulizer

hybrid-ads

monoid-learner

nominal-lstar

ons-hs

Rational-Homotopy-Theory

Jaxan's Repositories

Jaxan/nominal-lstar

Jaxan/advanced-programming

Jaxan/hybrid-ads

Jaxan/ons-hs

Jaxan/AedsHomework

Jaxan/basic-learning

Jaxan/genetic-sequence-formulizer

Jaxan/monoid-learner

Jaxan/Rational-Homotopy-Theory

Jaxan/beats-sim

Jaxan/Dold-Kan

Jaxan/gravity-pictures

Jaxan/ImageStreams

Jaxan/Kiss2FSM

Jaxan/maizena

Jaxan/moggle

Jaxan/nlambda

Jaxan/OpenRCT2

Jaxan/parallel-algorithms

Jaxan/partition

Jaxan/satuio

Jaxan/sparse-linear-algebra

Jaxan/text2png