Pinned Repositories
j-Algo
j-Algo is an algorithm visualisation tool.
rust-integeriser
Data-structures that represent values by unique integers.
rust-log-domain
Logarithmic probabilities for rust
rustomata
Framework for (weighted) automata with storage
vanda-haskell
Vanda-Haskell is a toolkit that contains various proof-of-concept implementations of algorithms from natural language processing.
vanda-studio
An integrated development environment that allows for rapid incremental design of small-scale machine-translation experiments.
TU Dresden – Foundations of Programming Group's Repositories
tud-fop/j-Algo
j-Algo is an algorithm visualisation tool.
tud-fop/rustomata
Framework for (weighted) automata with storage
tud-fop/vanda-haskell
Vanda-Haskell is a toolkit that contains various proof-of-concept implementations of algorithms from natural language processing.
tud-fop/vanda-studio
An integrated development environment that allows for rapid incremental design of small-scale machine-translation experiments.
tud-fop/rust-integeriser
Data-structures that represent values by unique integers.
tud-fop/rust-log-domain
Logarithmic probabilities for rust