Popular repositories Loading

1. A virtual machine for ESP32, allowing dynamic program updates.

   C++ 143 7

2. Book: Introduction to Dependent Types with Idris

   78 5

3. Exercises for the Dafny Tutorial

   PHP 14 8

4. Budge - a programming language and a theorem prover

   Jupyter Notebook 11 1

5. Hashtable implementation in C

   C 9 2

6. Synergy PF-500 Fiscal Printer API

   C# 8 5