Publications
- Gentle Introduction to Dependent Types with Idris – Are you interested in logic, mathematical proofs, type theories, and writing correct and proof-carrying code using these concepts? If yes, then this introductory book is for you!
- Introducing Blockchain with Lisp – Implement blockchain from scratch covering all the details with Racket, a general-purpose Lisp.
- Introducing Software Verification with Dafny Language – Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny.
List of commercial software projects
- Canvas – online real-time social bookmarking web application, written in NodeJS/PHP/MySQL/Redis/Socket.IO.
- Avis Car Rental Macedonia – web application for storing and printing invoices, written in PHP/MySQL.
- Faculty of Pharmacy – desktop/web application for scheduling classes and tracking timetables for professors.
- Equinox – data mining web application for Equinox http://www.equinox.com/, written in PHP/Mongo/Redis.
- MakOglas – a web application written in PHP where users can buy or sell products and services by advertising.
- WoWFisher – an automated fishing bot for the game World of Warcraft written in C using WINAPI. It combines pixel and mouse icon searching.
- Kafule – a desktop (and web) application written in C# using LINQ and WinForms technologies. This application can be used in coffee shops, clubs, etc. It contains several modules: Employee management, Reports management, Billing module, Reservations module, License module, etc.
- State Inspectorate of Agriculture – a web application written in Haskell (REST API) using MySQL as DB, and Backbone.js as front-end.
List of Open Source software contributions
- PHP – Bug fixes for the PHP interpreter. Tools: C, GitHub, Vim. http://people.php.net/bor0.
- Jit BarChart – Bug fixes for Jit BarChart. Tools: JavaScript, GitHub. http://philogb.github.io/jit.
- FireBreath – Bug fixes for FireBreath. Tools: C, C++, Cmake, GitHub. http://www.firebreath.org.
- bins – Debian Maintainer for the bins package. Tools: Perl, XML, ImageMagick, SVN, Debian Lintian. http://bins.sautret.org.
- Axis2 – Bug fixes for the Axis2 Apache project. Tools: C, Jira. http://axis.apache.org/axis2/c/core.
- eXtended brainF*ck Interpreter – Interpreter written in C++ (extended command set). http://xbf.sf.net.
- MOS 6502 Interactive Assembler – Assembler written in C. http://mos6502.sf.net.
- Splayer – Cross-platform NPAPI plugin based on FFmpeg. http://github.com/Cae-Engineering/splayer.
- CHIP-8 VM – Virtual Machine for CHIP-8 written in C. http://github.com/bor0/chip-8.
- Select2 – Bug fixes for Select2 library. Tools: JavaScript, GitHub. https://github.com/ivaynberg/select2.
- Scotty-session – Bug fixes for Scotty-session library. Tools: Haskell, GitHub. https://github.com/agrafix/scotty-session.
- FB Mention-bot – Improvements for facebook mention-bot. Tools: JavaScript. https://github.com/facebook/mention-bot.
- Mosgen – Mosaic generator written in Scheme. https://github.com/bor0/mosgen.
- xmp – PHP extension based on libxmp for managing module tracker files. https://pecl.php.net/package/xmp.
- Hashtable – Hashtable implementation in C, with collision resolution. https://github.com/bor0/hashtable.
- Soko-gba – Sokoban game written for GameBoy Advance. Tools: C, devkitARM, libgba. https://github.com/bor0/soko-gba.
- Notes – Simple notes app that allows you to enter your own notes and save them for future use or modification. Tools: JS, React, Redux, Hapi, SQLite. https://github.com/bor0/notes.
- WordPress – Bugfixes and enhancements for WordPress core. Tools: PHP, SVN, MySQL. https://www.wordpress.org.
- WooCommerce – Bugfixes and enhancements for WooCommerce core. Tools: PHP, Git, MySQL. https://woocommerce.com.
- Homebrew – Bugfixes and enhancements for some packages for the brew package manager. Tools: Ruby, Git. https://brew.sh/.
- Scheme-Coin – Simplified example cryptocurrency implementation in Scheme. https://github.com/bor0/scheme-coin.
- Soko-Scheme – Soko implementation in Scheme, for Lisp Game Jam 2018. https://github.com/bor0/soko-scheme.
List of other projects
- CDDisabler – a program written in pure assembler for Windows. Reverses the GetDriveTypeA() WINAPI function for any PE exe file which will trick the file into thinking it’s rаn from a CD-ROM. It can be used for games that require a CD to play.
- Streamripper – a program written in pure assembler for Windows, it uses Winsock to stream packets from any Winamp SHOUTCAST server into the user’s hard disk drive.
- MAC Spoof – a program written in Python for Windows that allows the user to spoof MAC addresses with their LAN adapter, either from the ARP cache or a given MAC address or IP address.
- Tone Generator – a program written in C that generates .wav files. Supported waves are square/sine/triangle/sawtooth.
- Proxyscan – a program written in C for Windows, a lightweight multi-threaded HTTP proxy scanner.
- Funky chipdisk – a music disk written in C for Windows that uses the fmod library to play music. Written for the Demo-scene in 2005 (link for download at http://www.pouet.net/prod.php?which=20437).
- File comparer – a program written in C for Windows that can compare 2 binary files and show the differences.
- Hangman/TicTacToe – a set of the classic 2 games written in C for Windows, with GUI.
- FurySwipes – mathematical analysis paper for a spell of a well-known RTS game DotA. More information can be found here.
- Process Hunter – a program written in assembler for Windows that allows the user to edit/read any application’s memory data by using the WINAPI functions ReadProcessMemory() and WriteProcessMemory().
- jLina – a light-weight, fast service-oriented application that provides communication between databases and other electronic devices, written in pure WINAPI. There are 2 ways of communication: ODBC SQL query (Database) or calling another Windows process (STDOUT pipe). The client connects to the service, sends a packet in zlib compressed form; the server then parses the data accordingly and gives back as a result a compressed data. Each client session is a separate thread. For more information visit the project website at http://jlina.sf.net.
- FBpy – automated friends request sender for Facebook written in Python. It can also send messages to random people.
- PDU – a program written in C that uses COM communication with a standard GSM modem. The application is using GSM AT commands (Hayes Command Set), as well as encoder for the SMS PDU header.
- e-Documents – an experimental project – a lightweight Document Management System. This project is a web-based application, used PHP for the interface and web services for the logic. The web-services are written in Axis2/C – C programming language. Currently it supports a 3-step based business process and file upload/download.
- CrawlerTest/Data Scraper – a program written in Java that crawls through Internet web-sites recursively, gathering content and writing each entry (URL, date received, content id) into an XML (used as a database). Duplicates are avoided. Recursion depth can be specified to a constant number, or infinite (still depends on Java stack limit). Searches for href’s and src’s in each .htm/.html file. Only specific content-type extensions are saved to disk. I’ve developed the same robot in C using libcurl/C and libxml2/C, with the additional option to crawl the HTTPS protocol.
- JupiterGPS – an android application that reads and sends GPS coordinates periodically to OpenGTS system.
- Pong – implementation of the classic Pong game using JavaScript 2D Canvas.
- My Recipe – a web application written in ASP.NET 4.5 for university that follows all conventions for 3-tier layer. You can create ingredients and combine them into recipes. There is also a main feed where users can socialize.
- sugarchive – a PHP PHAR executable written to create snapshots of SugarCRM installations.