Pinned Repositories
algebraic-brain.github.io
algorithmia-go
Golang Client for Algorithmia Algorithms and Data API
emagma
ERM
Maude-implementation of erm (https://algebraic-brain.github.io/2019-10/extended-magma.html)
group_theory
'Algebraic verification' test for group theory
group_theory.js
'Algebraic verification' test for group theory (JavaScript version)
toml
TOML parser for Golang with reflection.
faqtor
Promise-based task runner. Easy to use, easy to extend.
hyperoop
OOP-style SPA micro-framework
hyperoop-router
Router for hyperoop
algebraic-brain's Repositories
algebraic-brain/algorithmia-go
Golang Client for Algorithmia Algorithms and Data API
algebraic-brain/group_theory.js
'Algebraic verification' test for group theory (JavaScript version)
algebraic-brain/toml
TOML parser for Golang with reflection.
algebraic-brain/algebraic-brain.github.io
algebraic-brain/emagma
algebraic-brain/ERM
Maude-implementation of erm (https://algebraic-brain.github.io/2019-10/extended-magma.html)
algebraic-brain/group_theory
'Algebraic verification' test for group theory
algebraic-brain/js-framework-benchmark
A comparison of the perfomance of a few popular javascript frameworks
algebraic-brain/undoredo
Simple undo/redo functionality for Java(Type)Script