TrigDevelopment

ImplicationInc

Pinned Repositories

acsl-samples
Language:C00
braker
Language:C++00
fun-js-lib
A collection of JavaScript functions, typed with JSDoc.
Language:JavaScript1 2 00
game-theory
Language:JavaScript10

TrigDevelopment's Repositories

TrigDevelopment/fun-js-lib
A collection of JavaScript functions, typed with JSDoc.
Language:JavaScript1 2 00
TrigDevelopment/game-theory
Language:JavaScript10
TrigDevelopment/acsl-samples
Language:C00
TrigDevelopment/braker
Language:C++00
TrigDevelopment/grobner
Language:Cuda0 2 00
TrigDevelopment/closed-cpp
Language:C2 0
TrigDevelopment/coq-samples
Language:Coq
TrigDevelopment/cpp-puzzles
Puzzles of the great and powerful С++.
Language:C++
TrigDevelopment/curly-waddle
TrigDevelopment/LaboratoryWorksWithTests
Language:C++
TrigDevelopment/legendre-sequence
Language:Haskell
TrigDevelopment/magic_box
Language:C++2 0
TrigDevelopment/netlify-identity-widget
A zero config, framework free Netlify Identity widget
Language:JavaScript
TrigDevelopment/Project242
Language:C++2 0
TrigDevelopment/stack
Language:C++
TrigDevelopment/StackD
TrigDevelopment/threejs-ammojs-webpack-example
TrigDevelopment/untyped-lambda
TrigDevelopment/verylong
One-file class for long arithmetic
Language:C++
TrigDevelopment/vscode-extension-samples
Sample code illustrating the VS Code extension API.