Zoran Skoda cs links

Languages, compilers, software platforms

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

Some individual pieces of math software

Code repositories

Permanently recurring conferences

Places and people

Education, online collaboration and computers


Last revised on October 31, 2020 at 14:15:35. See the history of this page for a list of all contributions to it.