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