Skip to main content

2 posts tagged with "programming"

View All Tags
blog

TEMPORAL

Apr 3, 2018

Programming with Linear Temporal Logic Operators

At Matrix AI our research into language constructs for formally describing

blog

NIX

Mar 24, 2018

Developing with Nix (C, JavaScript, Python, Haskell, Emscripten, PHP)

Nix, NixOS and NixPkgs allows us to create project-specific development