Boro Sitnikovski (bor0)

bor0

Geek Repo

Company:@Automattic

Location:Skopje, North Macedonia

Home Page:http://bor0.wordpress.com/

Twitter:@BSitnikovski

Github PK Tool:Github PK Tool


Organizations
Automattic
automattic-hiring
bloom
Prospress
woocommerce

Boro Sitnikovski's repositories

evm-esp32

A virtual machine for ESP32, allowing dynamic program updates.

Language:C++License:NOASSERTIONStargazers:132Issues:8Issues:1

gidti

Book: Introduction to Dependent Types with Idris

budge

Budge - a programming language and a theorem prover

Language:Jupyter NotebookStargazers:10Issues:2Issues:0

dafny-tutorial

Exercises for the Dafny Tutorial

Language:PHPStargazers:8Issues:2Issues:0

hashtable

Hashtable implementation in C

Language:CLicense:GPL-3.0Stargazers:8Issues:3Issues:0

pf500

Synergy PF-500 Fiscal Printer API

Language:C#License:NOASSERTIONStargazers:8Issues:6Issues:2

soko-scheme

Soko implementation in Scheme

Language:RacketLicense:NOASSERTIONStargazers:8Issues:2Issues:0

chip-8

CHIP-8 virtual machine was made to allow video games to be more easily programmed for said computers

Language:CLicense:NOASSERTIONStargazers:6Issues:3Issues:0

formal-ed

Paper: Formalizing line editors in Coq

Language:TeXStargazers:6Issues:3Issues:0

misc

Misc playground and random stuff

Language:CStargazers:6Issues:2Issues:0

master-thesis

Formal verification of Instruction Sets in Virtual Machines

Language:TeXLicense:NOASSERTIONStargazers:2Issues:3Issues:0

sicp

My solutions for SICP

Language:SchemeStargazers:2Issues:2Issues:0

tinylisp

A tiny and extensible lisp interpreter

Language:PHPStargazers:2Issues:2Issues:0

xmp

xmp PHP Extension

Language:CLicense:Apache-2.0Stargazers:2Issues:3Issues:0

dotfiles

My dotfiles

Language:PythonStargazers:1Issues:2Issues:0

hello-idris

A WordPress plugin written in Idris

Language:IdrisStargazers:1Issues:2Issues:0

jLina

jLina is a Service-oriented application written in C for Windows, which uses the Winsock library, zlib and ODBC library.

keyvalsto

KeyValStorage

Language:CLicense:NOASSERTIONStargazers:1Issues:3Issues:0

soko

Sokoban game implementation in SDL/C

Language:CLicense:NOASSERTIONStargazers:1Issues:3Issues:0

bsc-thesis

My second bachelor's thesis

Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hackerrank

HackerRank solutions

Stargazers:0Issues:2Issues:0

hoare-hask

Paper: Tutorial implementation of Hoare logic in Haskell

Language:TeXStargazers:0Issues:3Issues:0

keyring

Keyring is an authentication framework for WordPress. It comes with definitions for a variety of HTTP Basic, OAuth1 and OAuth2 web services. Use it as a common foundation for working with other web services from within WordPress code.

Language:PHPStargazers:0Issues:0Issues:0

lolsnake

Lolsnake - Regular snake game

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

mosgen

Mosaic generator

Language:RacketStargazers:0Issues:2Issues:0
Language:JavaScriptLicense:GPL-2.0Stargazers:0Issues:3Issues:2

php-src

The PHP Interpreter

License:NOASSERTIONStargazers:0Issues:0Issues:0

slackApiDoc

Documentation of undocumented Slack API methods

License:MITStargazers:0Issues:0Issues:0

soko-gba

Sokoban for Game Boy Advance

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

zero-to-react

Zero to React

Language:JavaScriptStargazers:0Issues:2Issues:0