Skip to content
View fniksic's full-sized avatar

Organizations

@googlers

Block or report fniksic

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. fniksic.github.io fniksic.github.io Public

    Filip's personal web page

    HTML 1 1

  2. jepsen jepsen Public

    Forked from jepsen-io/jepsen

    A framework for distributed systems verification, with fault injection

    Clojure

  3. knossos knossos Public

    Forked from jepsen-io/knossos

    Verifies the linearizability of experimentally accessible histories.

    Clojure

  4. labyrinth labyrinth Public

    OCaml solution to Problem L (Labyrinth) from IPSC 2013

    OCaml

  5. mister mister Public

    Python library for parsing files in MIST format

    Python

  6. angelhof/flumina angelhof/flumina Public

    A parallel programming model for online applications with complex synchronization requirements.

    Erlang 15 1