predragf Goto Github PK

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

adventofcode

My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA

adventofcode2020

My solutions to AdventOfCode2020

albert

A fast and flexible keyboard launcher

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

aoc2022

This repository contains the code for my solutions for the Advent of Code, year 2022.

brackets

An open source code editor for the web, written in JavaScript, HTML and CSS.

cadical

CaDiCaL SAT Solver

cdt403-report

Report in the course CDT403 - Research Methods at Mälardalens University in Sweden. This paper will be about threat models and how peer-to-peer communication can help in certain circumstances where centralised systems are down.

cdt501-report

Repository with the final report for the cdt501 course.

cs-video-courses

List of Computer Science courses with video lectures.

documentparser

dreal3

New version of the dReal solver. More info at

iptv

Collection of publicly available IPTV channels from all over the world

jquery-plugins

Plugins I have developed for jQuery

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

minimal-beamer-slides-template

A minimal template for LaTeX Beamer slideshows

minisat

A minimalistic and high-performance SAT solver

org.fmaes.j2uppaal

A library that provides an API for manipulating UPPAAL models saved as .xml files.

parallelcompositionlts

The project contains javascript code for creating parallel compositions of Label Transition Systems (LTS).

predragf.github.io

personal website

propas

publications

This repo contains the Tex source code for all the published publications.

py-jsonq

A simple Python package to Query over Json Data

pylint

It's not just a linter that annoys you!

re14

satch

SAT Solver SATCH

sesf

This is the repository for Symbolic Execution engine for StateFlow (SESf) models

simppaal

simpppaal-executables