Repositories Users Organizations
Filter
Sort
joshua/ triangles Archived
C++ 0
Tilings of the plane with unit area triangles of bounded diameter
graphics
Updated 2025-04-09 10:22:55 +02:00
joshua/ it-works Archived
C++ 0
Collection of C++ snippets
Updated 2025-04-09 10:22:30 +02:00
joshua/ computer-craft Archived
0
Lua scripts for the computercraft mod for minecraft
Updated 2025-04-09 10:22:05 +02:00
joshua/ simple-threading Archived
C++ 0
Simple threading facilities for C++, inspired by the book by Williams
Updated 2025-04-09 10:20:57 +02:00
joshua/ fourier-transform Archived
C++ 0
Tool to apply Fourier transforms on numbers
Updated 2025-04-09 10:20:13 +02:00
joshua/ genetic-sequence-formulizer Archived
C++ 0
Playing around with genetic programming. Program will make a formula which approximates the input sequence.
Updated 2025-04-09 10:19:28 +02:00
joshua/ sandpiles Archived
HTML 0
Puzzle based on sandpiles / abelian groups
puzzle
Updated 2025-04-09 10:19:06 +02:00
joshua/ ons-hs
Haskell 0
(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
mirror research
Updated 2024-11-25 11:20:35 +01:00
joshua/ nominal-lstar
Haskell 0
Code for "Learning nominal automata"
automata haskell machine-learning nlambda paper regular-languages
Updated 2024-10-18 16:36:36 +02:00
joshua/ satuio
Python 0
Using SAT solvers to construct UIOs and ADSs
finite-state-machine sat-solver testing-tools
Updated 2022-04-11 14:35:56 +02:00
joshua/ monoid-learner
Haskell 0
Learns a monoid with an L*-like algorithm
Updated 2021-07-29 14:54:52 +02:00
joshua/ hybrid-ads
C++ 0
(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing
Updated 2018-11-02 12:06:45 +01:00