Pinned Repositories
action-jekyll
A GitHub Action for just building Jekyll web sites
Analytic-Tableaux-FOL
C++ implementation of Analytic Tableaux for First-Order Logic (website in Serbian)
AnalyticTableaux
C++ implementation of Analytic Tableaux for propositional logic (website in Serbian)
BFGS
My implementation of Broyden–Fletcher–Goldfarb–Shanno optimization algorithm.
cmake-tutorial
[In progress] A short introductory CMake tutorial
FastTyping
Master-Thesis
SAT solvers' running time prediction using graph neural networks
matf-presentation-template
A beamer template for creating nice presentations with the new MATF logo & design
node-typescript-web-api-template
A simple Node.js/Typescript Web API template
sinergija-v2
Project management web API for student organization OMIKRON.
ajzenhamernikola's Repositories
ajzenhamernikola/BFGS
My implementation of Broyden–Fletcher–Goldfarb–Shanno optimization algorithm.
ajzenhamernikola/matf-presentation-template
A beamer template for creating nice presentations with the new MATF logo & design
ajzenhamernikola/action-jekyll
A GitHub Action for just building Jekyll web sites
ajzenhamernikola/Analytic-Tableaux-FOL
C++ implementation of Analytic Tableaux for First-Order Logic (website in Serbian)
ajzenhamernikola/AnalyticTableaux
C++ implementation of Analytic Tableaux for propositional logic (website in Serbian)
ajzenhamernikola/cmake-tutorial
[In progress] A short introductory CMake tutorial
ajzenhamernikola/FastTyping
ajzenhamernikola/Master-Thesis
SAT solvers' running time prediction using graph neural networks
ajzenhamernikola/matf-pbp.github.io
Материјали за курс "Програмирање база података" на Математичком факултету Универзитета у Београду
ajzenhamernikola/node-typescript-web-api-template
A simple Node.js/Typescript Web API template
ajzenhamernikola/sinergija-v2
Project management web API for student organization OMIKRON.
ajzenhamernikola/UVIT
Материјали за курс "Увод у веб и интернет програмирање" на Математичком факултету Универзитета у Београду
ajzenhamernikola/GiA
[In progress] A GUI-oriented, graph problem-solving C++ software.
ajzenhamernikola/Informacioni-sistem-NSZ
ajzenhamernikola/interpreter-compiler-in-go
[In progress] Repozitorijum za vežbanje pisanja interpretera i kompilatora za programski jezik Monkey
ajzenhamernikola/MiniJava
[In progress] Repozitorijum za vežbanje pisanja MiniJava kompilatora
ajzenhamernikola/MSNR-seminarski
ajzenhamernikola/PDb2BP
[In progress] Elektronska knjiga "Programiranje Db2 baza podataka"
ajzenhamernikola/rxjs-primeri
[In progress] Repozitorijum koji sadrzi razne primere za ucenje biblioteke RxJS 6
ajzenhamernikola/Sinergija