Zoran Skoda
cs links
f* 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
moodle open-source tools for learning
WeBWork at Mathematical Association of America
PLDI 2008, recommendations on programming language education pdf
geogebra.org , wikipedia: geogebra
apache openmeetings.apache.org videoconferencing
WebRTC webrtc.org , wikipedia:WebRTC open source real-time communication tools for adding to other communications
jitsi opensource videoconferencing platform (based on WebRTC)
Red5 live streaming platform
Unclassified
Last revised on November 26, 2024 at 18:18:25.
See the history of this page for a list of all contributions to it.