Git Product home page Git Product logo

Filip Niksic's Projects

diffstream icon diffstream

A differential testing library for Apache Flink.

iknet icon iknet

Repozitorij za razmjenu koda na grupi za pripremu za natjecanja u IK NET

jepsen icon jepsen

A framework for distributed systems verification, with fault injection

knossos icon knossos

Verifies the linearizability of experimentally accessible histories.

labyrinth icon labyrinth

OCaml solution to Problem L (Labyrinth) from IPSC 2013

libevent icon libevent

A public libevent repository. The official repository is still at at git://levent.git.sourceforge.net/gitroot/levent/libevent

mathgen icon mathgen

A script for crawling the Mathematics Genealogy Project

minisat icon minisat

A minimalistic and high-performance SAT solver

mist icon mist

Safety checker for Petri Nets (and some extensions)

mister icon mister

Python library for parsing files in MIST format

mpi-sws-vscomp icon mpi-sws-vscomp

A repository used at the MPI-SWS during the VSTTE Competition 2013

pdl-tableaux icon pdl-tableaux

Tableau-based SAT solver for propositional dynamic logic

psharp icon psharp

Safe asynchronous event-driven .NET programming.

swot icon swot

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.