Ferhat Erata's Projects
my personal evil doom emacs
10-minutes-to-SpaceVim
Website for Alloytools
AngularJS - HTML enhanced for web apps!
AngularJS example calling the GitHub API
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
An embedding of Alloy in Ruby
Cayman is a Jekyll theme for GitHub Pages
Alternative backend for Clafer using the Choco solver.
C++ Coding Standard
Checking that functions are constant time with Valgrind
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
JakobGM does dotfiles /w shellscripting
EMF project repository (emf)
Bounded verification of UML/OCL (or EMF/OCL) models
Energy-aware Timing Analysis of Intermittent Programs
.dot files
Cli shell plugin, the missing fuzzy tab completion feature of z jump around command.
part of WP1: information needed to run project management in openetcs
An automated deductive program verifier.
Google Core Libraries for Java 6+
Jupyter notebooks with the Python equivalent to the R code sections in Blitzstein and Hwang's Introduction To Probability, Second Edition
Website for the KLEE project: https://klee.github.io/
Kodkod solver for relational logic