Discover @bor0 Open Source projects

Boro Sitnikovski (@bor0)

bor0

Stars
260
Global Rank 96,586 (Top 4 %)
Followers 125
Registered about 12 years ago
Most used languages

C
35.3 %

TeX
11.8 %

PHP
11.8 %

Python
5.9 %

Jupyter Notebook
5.9 %

Scheme
5.9 %

Idris 5.9 %

C++
5.9 %

Racket
5.9 %

C#
5.9 %
Location 🇲🇰 North Macedonia
Country Total Rank 21
Country Ranking

Racket
1

Scheme
1

TeX
1

C++
2

Idris 2

C
3

Jupyter Notebook
6

PHP
11

C#
19

Python
87

evm-esp32

A virtual machine for ESP32, allowing dynamic program updates.

gidti

Book: Gentle Introduction to Dependent Types with Idris

soko-scheme

Soko implementation in Scheme

dafny-tutorial

Exercises for the Dafny Tutorial

pf500

Synergy PF-500 Fiscal Printer API

hashtable

Hashtable implementation in C

budge

Budge - a programming language and a theorem prover

Jupyter Notebook

formal-ed

Paper: Formalizing line editors in Coq

chip-8

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

misc

Misc playground and random stuff

master-thesis

Formal verification of Instruction Sets in Virtual Machines

xmp

xmp PHP Extension

sicp

My solutions for SICP

tinylisp

A tiny and extensible lisp interpreter

dotfiles

jLina

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

keyvalsto

soko

Sokoban game implementation in SDL/C

hello-idris

A WordPress plugin written in Idris