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$Lab: computer science, Donald Knuth * stackoverflow * https://toplas.acm.org * linux kernel archive

Languages, compilers, software platforms

• en.wikipedia: LLVM, Clang, ML, Standard ML, purify, singular, Macaulay2, ruby, Isabelle (proof assistant), Flutter, Dart
• gitit
• LLVM
• lua, jikes, nim, haxe, golang
• $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

• wikipedia C++, C++11, C++14, C++17,
• gcc.gnu.org
• gcc and make, Compiling, Linking and Building C/C++ Applications overview
• Azimuth: C plus plus
• GCCUPC (compiler for parallel C)
• mlPack machine learning library for C++

Functional languages and proof assistants

• Common Lisp hyperspecs at lispworks; Lisp FAQ at cmu.edu, racket-lang.org
• haskellwiki, haskell platform, lambda-the-ultimate
• Coq: coq.inria.fr, cocorico wiki, proviola, library for HoTT
• OCaml ocaml.org
• Isabelle at Cambridge

JVM languages

• java (language), java (platform)
• kotlin
• scala, scalaz - library for functional programming in scala
• apache maven framework for java
• ant.apache.org, ant manual
• eclipse primarily a Java IDE, but supporting also js, PHP, C/C++

Rust

See also Rust and substrate

• rust-lang.org, the official rust book, reference
• what is rustdoc
• Jim Blandy, Jason Orendorff, Programming Rust: fast, safe systems development, O’Reilly Media 2017
• Rust crashcourse Rustlang (2hr) yt
• yandex Rust course (in Russian, А. А. Кладов) 2019-spring
• double linked list in safe Rust github, std::collections::LinkedList, but use VectDeque and see Learn Rust With Entirely Too Many Linked Lists
• Rust & WebAssembly with Nick Fitzgerald yt

WebAssembly

• wikipedia, spec, webassembly.org, msdn docs, rust-to-wasm, github
• WebAssembly-Links in Parity Tech Documentation
• AssemblyScript (maps a subset of javascript code to wasm) github, news

Javascript

• 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 and related

• 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

• Jonathan Hanke’s math software pieces

Code repositories

• Google Code Archive
• https://github.com

Permanently recurring conferences

• SIGPLAN, PLDI, POPL

Places and people

• cs.wisc
• knuth, bodik, sirer, lamport/writing

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

• to digest 1
• AIMA book page and related AI resources
• Graham’s book ANSI Common LISP
• openJDKwiki presentations
• advanced NLP course COSC7336
• wget