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