Popular repositories Loading

1. evm-esp32 evm-esp32 Public

   A virtual machine for ESP32, allowing dynamic program updates.

   C++ 143 7

2. gidti gidti Public

   Book: Introduction to Dependent Types with Idris

   78 5

3. dafny-tutorial dafny-tutorial Public

   Exercises for the Dafny Tutorial

   PHP 14 8

4. budge budge Public

   Budge - a programming language and a theorem prover

   Jupyter Notebook 11 1

5. pf500 pf500 Public

   Synergy PF-500 Fiscal Printer API

   C# 9 5

6. hashtable hashtable Public

   Hashtable implementation in C

   C 9 2