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 May 20, 2020 at 07:17:04. See the history of this page for a list of all contributions to it.