TheDivic

Nikola Divić's repositories

epigrafika

Projekat PWEB 2014

Language:PHP2 100

roler

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

Language:PythonMIT2 20

bowling-kata

Bowling Game Kata by Uncle Bob C. Martin

Language:JavaScript010

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.

Language:Python020

insightful-grocery

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

Language:TypeScript010

learn-chaincode

Learn how to write chaincode.

Language:GoApache-2.0020

learnstorybook-code

Code for Learn Storybook

Language:CSS010

Liftit

Liftit is a Windows Phone app for real strength training.

Language:C#020