NlightNFotis

Fotix

My very own UNIX clone, for education/self-amusement.

nlightnfotis.github.io

My personal blog.

ACTG

ACTG: Nucleotide syntax highlighting

artichoke

💎 Artichoke is a Ruby made with Rust

awesomecs

Links to awesome books, courses and reference CS material.

brew

🍺 The missing package manager for macOS (or Linux)

cbmc

C Bounded Model Checker

clri

An unfinished CIL interpreter in Rust

demo-spring-petclinic

Demo based on Spring Petclinic

Ensidia

The Ensidia Operating System

gc-demo

gnat2goto

GNAT 2 GOTO Converter

Higgs

Higgs JavaScript Virtual Machine

homebrew-core

🍻 Default formulae for the missing package manager for macOS

hugs98-plus-Sep2006

Revive Hugs98 from its last official self-contained distribution.

j-bob

jit-demo

macOS-dotfiles

Dotfiles across my various apple machines

nlightnfotis

plan9-ocaml

Plan9 software ported to OCaml

Playground

My personal coding experiments and exercises

self

Making the world safe for objects

SML-Language-Definition

Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.

smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

sprockell

Simple processor in Haskell

z3

The Z3 Theorem Prover

zetavm

Multi-Language Platform for Dynamic Programming Languages