Name: Fotis Koutoulakis
Type: User
Company: GitHub
Bio: Computer Scientist and Mathematician | Distributed Systems, Compilers, Security & Reliability | Software Engineer @GitHub
Twitter: NlightNFotis
Location: Oxford, United Kingdom
Blog: https://nlightnfotis.github.io
Fotis Koutoulakis's Projects
ACTG: Nucleotide syntax highlighting
💎 Artichoke is a Ruby made with Rust
Links to awesome books, courses and reference CS material.
🍺 The missing package manager for macOS (or Linux)
C Bounded Model Checker
An unfinished CIL interpreter in Rust
Demo based on Spring Petclinic
The java implementation of Apache Dubbo. An RPC and microservice framework.
The Ensidia Operating System
My very own UNIX clone, for education/self-amusement.
GNAT 2 GOTO Converter
Higgs JavaScript Virtual Machine
🍻 Default formulae for the missing package manager for macOS
Revive Hugs98 from its last official self-contained distribution.
Dotfiles across my various apple machines
My personal blog.
Plan9 software ported to OCaml
My personal coding experiments and exercises
Making the world safe for objects
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Simple processor in Haskell
The Z3 Theorem Prover
Multi-Language Platform for Dynamic Programming Languages