Osman Bineev's repositories
algorithmia-go
Golang Client for Algorithmia Algorithms and Data API
group_theory.js
'Algebraic verification' test for group theory (JavaScript version)
Language:HTML000
Language:Elm000
ERM
Maude-implementation of erm (https://algebraic-brain.github.io/2019-10/extended-magma.html)
000
group_theory
'Algebraic verification' test for group theory
Language:Go000
js-framework-benchmark
A comparison of the perfomance of a few popular javascript frameworks
Language:JavaScriptApache-2.0000
undoredo
Simple undo/redo functionality for Java(Type)Script
Language:TypeScriptMIT000