TheDivic

eudico

lotus, but also other things

go-ulimit

lotus

Reference implementation of the Filecoin protocol, written in Go

system-test-matrix

The Filecoin System Test Matrix is a dashboard with a detailed list of Filecoin features and behaviors and a mapping between those features and test suites, systems and subsystems that those features are related to.

bowling-kata

Bowling Game Kata by Uncle Bob C. Martin

epigrafika

Projekat PWEB 2014

Gilmore-algorithm

This is my implementation of the Gilmore's algorithm. It is the first Herbrand universe based algorithm for proving the unsatisfiability of first order logic formulas.

insightful-grocery

Test Project for https://www.insightful.io/

roler

A simple tool that creates an Ansible role with the recommended directory layout

TheDivic/epigrafika

Projekat PWEB 2014

TheDivic/roler

A simple tool that creates an Ansible role with the recommended directory layout

TheDivic/bowling-kata

Bowling Game Kata by Uncle Bob C. Martin

TheDivic/Gilmore-algorithm

This is my implementation of the Gilmore's algorithm. It is the first Herbrand universe based algorithm for proving the unsatisfiability of first order logic formulas.

TheDivic/insightful-grocery

Test Project for https://www.insightful.io/

TheDivic/learn-chaincode

Learn how to write chaincode.

TheDivic/learnstorybook-code

Code for Learn Storybook

TheDivic/Liftit

Liftit is a Windows Phone app for real strength training.