https://github.com/bor0/evm-esp32

A virtual machine for ESP32, allowing dynamic program updates.

Last synced: 10 Apr 2025

https://github.com/bor0/gidti

Book: Introduction to Dependent Types with Idris

books dependent-types idris lambda-calculus theorem-proving type-theory types

Last synced: 21 Jan 2026

https://github.com/bor0/dafny-tutorial

Exercises for the Dafny Tutorial

dafny exercises formal-verification

Last synced: 10 Apr 2025

https://github.com/bor0/budge

Budge - a programming language and a theorem prover

programming-language theorem-prover

Last synced: 16 Mar 2026

https://github.com/bor0/hashtable

Hashtable implementation in C

algorithm c hashtable linked-list

Last synced: 03 Jul 2025

https://github.com/bor0/soko-scheme

Soko implementation in Scheme

game-jam racket scheme sokoban

Last synced: 24 Jan 2026

https://github.com/bor0/pf500

Synergy PF-500 Fiscal Printer API

c c-sharp fiscal-printer

Last synced: 10 Apr 2025

https://github.com/bor0/formal-ed

Paper: Formalizing line editors in Coq

coq-formalization latex line-editor

Last synced: 10 Mar 2026

https://github.com/bor0/misc

Misc playground and random stuff

assembly books c coq haskell idris javascript playground scheme

Last synced: 10 Apr 2025

https://github.com/bor0/chip-8

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

c chip-8 chip8 games interpreter sdl

Last synced: 10 Apr 2025

https://github.com/bor0/dotfiles

My dotfiles

dotfiles python

Last synced: 04 May 2026

https://github.com/bor0/hackerrank

HackerRank solutions

Last synced: 24 Jan 2026

https://github.com/bor0/master-thesis

Formal verification of Instruction Sets in Virtual Machines

Last synced: 26 Jan 2026

https://github.com/bor0/tinylisp

A tiny and extensible lisp interpreter

Last synced: 16 May 2025

https://github.com/bor0/soko

Sokoban game implementation in SDL/C

c sdl sokoban

Last synced: 16 May 2025

https://github.com/bor0/xmp

xmp PHP Extension

Last synced: 06 Sep 2025

https://github.com/bor0/sicp

My solutions for SICP

exercises sicp sicp-exercises sicp-solutions

Last synced: 19 Mar 2026

https://github.com/bor0/jlina

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

Last synced: 14 Feb 2026

https://github.com/bor0/lolsnake

Lolsnake - Regular snake game

Last synced: 13 Sep 2025

https://github.com/bor0/hello-idris

A WordPress plugin written in Idris

idris wordpress wordpress-plugin

Last synced: 16 May 2025

https://github.com/bor0/bsc-thesis

My second bachelor's thesis

Last synced: 08 Feb 2026

https://github.com/bor0/keyvalsto

KeyValStorage

Last synced: 16 May 2025

https://github.com/bor0/mosgen

Mosaic generator

image-generator mosaic racket scheme

Last synced: 25 Jan 2026

https://github.com/bor0/hoare-hask

Paper: Tutorial implementation of Hoare logic in Haskell

haskell hoare-logic latex

Last synced: 04 May 2026

https://github.com/bor0/notes

Last synced: 16 Jul 2025

https://github.com/bor0/soko-gba

Sokoban for Game Boy Advance

c devkit gameboy-advance gba-game sokoban

Last synced: 20 Aug 2025