Zoran Skoda cs links

Languages, compilers, software platforms

C/C++ and alike

Functional languages and proof assistants

JVM languages

Rust

See also Rust and substrate

WebAssembly

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

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.