Pinned Repositories
diploma-thesis
Bachelor thesis: Formal analysis of iptables configurations for network verification
flex-bison-syntax
Flex & Bison syntax highlighting for vim
iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
KISS
A modified Phantom Ghost theme
Noobs
Testing tool for Warlight AI Challenge 2
peaksea.vim
Peaksea colorscheme for Vi
QML-Android-Demo
A QML "Hello, World!" application configured with cmake to be deployed on Android
qml.vim
QML Syntax Highlighted for Vi
Warlight-AI-Challenge-2-Bot
My team's Bot for the Warlight AI Challenge 2
Y-Combinator
Playing around with different Y Combinator implementations
calincru's Repositories
calincru/KISS
A modified Phantom Ghost theme
calincru/QML-Android-Demo
A QML "Hello, World!" application configured with cmake to be deployed on Android
calincru/Y-Combinator
Playing around with different Y Combinator implementations
calincru/peaksea.vim
Peaksea colorscheme for Vi
calincru/flex-bison-syntax
Flex & Bison syntax highlighting for vim
calincru/15-Puzzle
A C++ implementation of the 15-Puzzle game. Highlights A* search algorithm
calincru/diploma-thesis
Bachelor thesis: Formal analysis of iptables configurations for network verification
calincru/Dotfiles
A set of Vi, Zsh, Git and other configuration files.
calincru/boost.trie
calincru/iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
calincru/marble
Marble is a virtual globe and a world atlas - part of the KDE Applications Suite
calincru/UltimateTicTacToe
Bot pentru Ultimate TicTacToe al echipei de PA
calincru/Warlight-AI-Challenge-2-Bot
My team's Bot for the Warlight AI Challenge 2
calincru/Noobs
Testing tool for Warlight AI Challenge 2
calincru/AA-Tema4
Analiza Algoritmilor - Tema 4. Enunț și teste.
calincru/eth-cil-exam-summary
Exam summary for Computational Intelligence Lab, ETH Zurich, SS17
calincru/geoopt
Riemannian Adaptive Optimization Methods with pytorch optim
calincru/GraphRicciCurvature
A NetworkX addon program to compute the Ricci curvature of a given NetworkX graph.
calincru/hadoop-20
Facebook's Realtime Distributed FS based on Apache Hadoop 0.20-append
calincru/http-parser
http request/response parser for c
calincru/inplace_abn
In-Place Activated BatchNorm for Memory-Optimized Training of DNNs
calincru/Online-Courses
My archive of online courses assignments and notes
calincru/PC-Garage-Challenge
Solutions of the COD team during PC Garage Challenge organized by Eestec Bucharest
calincru/pymanopt
Python toolbox for optimization on Riemannian manifolds with support for automatic differentiation
calincru/scalaz
An extension to the core Scala library for functional programming.
calincru/Symnet
calincru/Syntax-Highlighter
A minimalist syntax highlighter based on Clang's LibTooling
calincru/torch-two-sample
A PyTorch library for two-sample tests
calincru/Turing-Machine
A simulation of a Turing Machine in C++
calincru/uc.rosedu.org
ROSEdu Upstream Challenge site repository