Zoran Skoda
cs links
blockchain , digital identity , patent , computer security , fintech , machine learning , PSD2 , substrate , Rust , IoT , TON , smart contract , high performance DLs , Ethereum , bitcoin , EOS , computer security , virtual machine , verified replay , TeX , instiki’s LaTeX symbols
n n Lab: computer science , Donald Knuth
stackoverflow
https://toplas.acm.org
linux kernel archive
en.wikipedia: LLVM , Clang , ML , Standard ML , purify , singular , Macaulay2 , ruby , Isabelle (proof assistant), Flutter , Dart
gitit
LLVM
lua , jikes , nim , haxe , golang
n n lab: sage , Elf , Twelf , Coq , Haskell , Eff
sagemath.org , sagenb.org
ceylon ceylon-lang.org ,specs
TBX resources (markup language for terminology)
mono project
maxima a computer algebra system
CP2K fortran95-based package for quantum chemistry (includes density functional methods); ORCA electronic structure, Max Planck, free for academics
Macaulay2book
https://github.com/vhf/free-programming-books
Stanford Natural Language Processing software , StanfordCoreNLP
swMath.org a mathematical software directory
octave
apache spark open source cluster-computing framework for large scale data processing used from scala, python, R and SQL shells; includes spark streaming , sparq SQL , MLlib , GraphX
apache mesos distributed kernel
Torch wikipedia
mistletoe
C/C++ and alike
Functional languages and proof assistants
JVM languages
See also Rust and substrate
LoopBack Node.js framework for creating REST APIs
webpack - open-source JavaScript module bundler. Webpack takes modules with dependencies and generates static assets representing those modules
Typescript (optionally strongly typed extension by MS) typescriptlang.org , wikipedia
python.org
en.wikipidia: python , cython , pip (package manager for python), SymPy (python library for symbolic computation)
Azimuth: python
anaconda
google’s AI: www.tensorflow.org (numerical computation using data flow graphs, python API for machine learning), github/tensorflow , tensorflow/models , syntaxnet
PyQuante python-based free quantum chemistry package
Fenics project library for fluid dynamics
SciPy
tutorialspoint.com
pytorch at wikipedia , github , pytorch.org , pytorch.org/tutorials
pandas documentation at pandas-ml,
keras a deep learning library for python (supports both Tensorflow and Theano as backends)
TL language (type theory like) language for formal specification used by Telegram
Some individual pieces of math software
Code repositories
Permanently recurring conferences
Places and people
Education, online collaboration and computers
Unclassified
Last revised on October 31, 2020 at 14:15:35.
See the history of this page for a list of all contributions to it.