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 and computers

TeX

Unclassified

Last revised on August 15, 2019 at 05:27:02. See the history of this page for a list of all contributions to it.