bor0/budge bor0/budge

  • Stars
    star
    8
  • Rank 2,044,549 (Top 42 %)
  • Language
    Jupyter Notebook
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bor0/budge
github

bor0

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Budge - a programming language and a theorem prover

More Repositories

1

evm-esp32

A virtual machine for ESP32, allowing dynamic program updates.
C++
124
star
2

gidti

Book: Gentle Introduction to Dependent Types with Idris
73
star
3

soko-scheme

Soko implementation in Scheme
Racket
8
star
4

dafny-tutorial

Exercises for the Dafny Tutorial
PHP
8
star
5

pf500

Synergy PF-500 Fiscal Printer API
C#
8
star
6

hashtable

Hashtable implementation in C
C
8
star
7

formal-ed

Paper: Formalizing line editors in Coq
TeX
6
star
8

chip-8

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

misc

Misc playground and random stuff
C
6
star
10

master-thesis

Formal verification of Instruction Sets in Virtual Machines
TeX
2
star
11

xmp

xmp PHP Extension
C
2
star
12

sicp

My solutions for SICP
Scheme
2
star
13

tinylisp

A tiny and extensible lisp interpreter
PHP
2
star
14

dotfiles

My dotfiles
Python
1
star
15

jLina

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

keyvalsto

KeyValStorage
C
1
star
17

soko

Sokoban game implementation in SDL/C
C
1
star
18

hello-idris

A WordPress plugin written in Idris
Idris
1
star