keremc

Pinned Repositories

server
Language:Rust0 2 00
gobview
Frontend for goblint written with jsoo-react
Language:Reason2 12 175
analyzer
The goblint static analysis framework
Language:OCaml0 0 00
asyncomplete-clang.vim
C/C++ support for asyncomplete.vim
Language:Vim Script10 2 11
asyncomplete-lsp.vim
Language:Vim script0 0 00
asyncomplete-racer.vim
Racer support for asyncomplete.vim
Language:Vim Script7 2 10
asyncomplete.vim
async completion in pure vim script for vim8 and neovim
Language:Vim script0 0 00
cil
C Intermediate Language
Language:OCaml1 0 00
cpg
A library to extract Code Property Graphs from C/C++, Java, Golang and Python.
Language:Kotlin0 0 00
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++0 0 00

keremc's Repositories

keremc/asyncomplete-clang.vim
C/C++ support for asyncomplete.vim
Language:Vim Script10 2 11
keremc/asyncomplete-racer.vim
Racer support for asyncomplete.vim
Language:Vim Script7 2 10
keremc/cil
C Intermediate Language
Language:OCaml1 0 00
keremc/analyzer
The goblint static analysis framework
Language:OCaml0 0 00
keremc/asyncomplete-lsp.vim
Language:Vim script0 0 00
keremc/asyncomplete.vim
async completion in pure vim script for vim8 and neovim
Language:Vim script0 0 00
keremc/cpg
A library to extract Code Property Graphs from C/C++, Java, Golang and Python.
Language:Kotlin0 0 00
keremc/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++0 0 00
keremc/jsoo-react
js_of_ocaml bindings for ReactJS. Based on ReasonReact.
Language:OCaml0 0 00
keremc/pypenlog
Implementation of penlog in Python
Language:Python0 0
keremc/sarif-vscode-extension
SARIF Microsoft Visual Studio Code extension
Language:TypeScript0 0
keremc/vim-lsp
async language server protocol plugin for vim and neovim
Language:Vim Script0 0