Pinned Repositories
flumina
A parallel programming model for online applications with complex synchronization requirements.
diffstream
A differential testing library for Apache Flink.
fniksic.github.io
Filip's personal web page
iknet
Repozitorij za razmjenu koda na grupi za pripremu za natjecanja u IK NET
jepsen
A framework for distributed systems verification, with fault injection
knossos
Verifies the linearizability of experimentally accessible histories.
labyrinth
OCaml solution to Problem L (Labyrinth) from IPSC 2013
mathgen
A script for crawling the Mathematics Genealogy Project
minisat
A minimalistic and high-performance SAT solver
mister
Python library for parsing files in MIST format
fniksic's Repositories
fniksic/diffstream
A differential testing library for Apache Flink.
fniksic/mathgen
A script for crawling the Mathematics Genealogy Project
fniksic/iknet
Repozitorij za razmjenu koda na grupi za pripremu za natjecanja u IK NET
fniksic/minisat
A minimalistic and high-performance SAT solver
fniksic/fniksic.github.io
Filip's personal web page
fniksic/pdl-tableaux
Tableau-based SAT solver for propositional dynamic logic
fniksic/PSharp
Safe asynchronous event-driven .NET programming.
fniksic/zootester
fniksic/jepsen
A framework for distributed systems verification, with fault injection
fniksic/knossos
Verifies the linearizability of experimentally accessible histories.
fniksic/labyrinth
OCaml solution to Problem L (Labyrinth) from IPSC 2013
fniksic/mister
Python library for parsing files in MIST format
fniksic/mpi-sws-vscomp
A repository used at the MPI-SWS during the VSTTE Competition 2013
fniksic/adventofcode
Filip's solutions to Advent of Code 2020
fniksic/bazel-central-registry
The central registry of Bazel modules for the Bzlmod external dependency system.
fniksic/config
fniksic/libevent
A public libevent repository. The official repository is still at at git://levent.git.sourceforge.net/gitroot/levent/libevent
fniksic/MiniSat-ocaml
OCaML bindings for the MiniSat satisfiability solver.
fniksic/mist
Safety checker for Petri Nets (and some extensions)
fniksic/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.