NlightNFotis
Computer Scientist and Mathematician | Distributed Systems, Compilers, Security & Reliability | Software Engineer @GitHub
GitHubOxford, United Kingdom
Pinned Repositories
NlightNFotis's Repositories
NlightNFotis/Fotix
My very own UNIX clone, for education/self-amusement.
NlightNFotis/nlightnfotis.github.io
My personal blog.
NlightNFotis/ACTG
ACTG: Nucleotide syntax highlighting
NlightNFotis/artichoke
💎 Artichoke is a Ruby made with Rust
NlightNFotis/awesomecs
Links to awesome books, courses and reference CS material.
NlightNFotis/brew
🍺 The missing package manager for macOS (or Linux)
NlightNFotis/cbmc
C Bounded Model Checker
NlightNFotis/clri
An unfinished CIL interpreter in Rust
NlightNFotis/demo-spring-petclinic
Demo based on Spring Petclinic
NlightNFotis/dubbo
The java implementation of Apache Dubbo. An RPC and microservice framework.
NlightNFotis/Ensidia
The Ensidia Operating System
NlightNFotis/gc-demo
NlightNFotis/gnat2goto
GNAT 2 GOTO Converter
NlightNFotis/Higgs
Higgs JavaScript Virtual Machine
NlightNFotis/homebrew-core
🍻 Default formulae for the missing package manager for macOS
NlightNFotis/hugs98-plus-Sep2006
Revive Hugs98 from its last official self-contained distribution.
NlightNFotis/j-bob
NlightNFotis/jit-demo
NlightNFotis/macOS-dotfiles
Dotfiles across my various apple machines
NlightNFotis/nlightnfotis
NlightNFotis/plan9-ocaml
Plan9 software ported to OCaml
NlightNFotis/Playground
My personal coding experiments and exercises
NlightNFotis/self
Making the world safe for objects
NlightNFotis/SML-Language-Definition
Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
NlightNFotis/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
NlightNFotis/sprockell
Simple processor in Haskell
NlightNFotis/z3
The Z3 Theorem Prover
NlightNFotis/zetavm
Multi-Language Platform for Dynamic Programming Languages