Pinned Repositories
kodkod
Kodkod solver for relational logic
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
arby
An embedding of Alloy in Ruby
chocosolver
Alternative backend for Clafer using the Choco solver.
emf
EMF project repository (emf)
etap
Energy-aware Timing Analysis of Intermittent Programs
microsat-cpp
micro SAT solver written in c++
vc-gen
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility
Tarski
A Platform for Automated Analysis of Traceability (WP3)
ferhaterata's Repositories
ferhaterata/etap
Energy-aware Timing Analysis of Intermittent Programs
ferhaterata/vc-gen
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
ferhaterata/microsat-cpp
micro SAT solver written in c++
ferhaterata/.doom.d
my personal evil doom emacs
ferhaterata/codeSTACKr
ferhaterata/cpp-coding-standard
C++ Coding Standard
ferhaterata/ctgrind
Checking that functions are constant time with Valgrind
ferhaterata/dotfiles
JakobGM does dotfiles /w shellscripting
ferhaterata/ferhat
.dot files
ferhaterata/ferhaterata
ferhaterata/ferhaterata.github.io
ferhaterata/klee.github.io
Website for the KLEE project: https://klee.github.io/
ferhaterata/literature_review
Survey of program analysis research with a focus on machine code
ferhaterata/LLVM.tmBundle
LLVM assembly syntax highlighting and snippets
ferhaterata/minisat
A minimalistic and high-performance SAT solver
ferhaterata/msp430
msp430FR5994 samples
ferhaterata/nvim
Neovim config
ferhaterata/open-pdf
ftplugin to open pdf file with system handler
ferhaterata/ppt-fe59
ferhaterata/pycounts_fe
ferhaterata/rust
Empowering everyone to build reliable and efficient software.
ferhaterata/spacemacs-InstallerAndConfig
An easy to use linux spacemacs installer which will setup your developing environment in no-time
ferhaterata/stl-templates-variants-visitors
playgrounds for practicing modern c++
ferhaterata/textmate-viml
VimL syntax highlighting bundle for TextMate
ferhaterata/vim-sensible
sensible.vim: Defaults everyone can agree on
ferhaterata/vimium-simply-dark
Dark theme for vimium chrome extension.
ferhaterata/vscode-alloy
Alloy syntax highlighting support for VSCode
ferhaterata/VSpaceCode
Spacemacs' like keybindings for Visual Studio Code
ferhaterata/yale-beamer
An unofficial Yale-University-branded theme for LaTeX Beamer.
ferhaterata/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver