bor0/formal-ed bor0/formal-ed

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    TeX
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bor0/formal-ed
github

bor0

Reviews

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

Repository Details

Paper: Formalizing line editors in Coq

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

budge

Budge - a programming language and a theorem prover
Jupyter Notebook
8
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