Popular repositories Loading

1. evm-esp32 evm-esp32 Public

   A virtual machine for ESP32, allowing dynamic program updates.

   C++ 144 7

2. gidti gidti Public

   Book: Introduction to Dependent Types with Idris

   79 5

3. dafny-tutorial dafny-tutorial Public

   Exercises for the Dafny Tutorial

   PHP 15 8

4. budge budge Public

   Budge - a programming language and a theorem prover

   Python 11 1

5. hashtable hashtable Public

   Hashtable implementation in C

   C 10 3

6. pf500 pf500 Public

   Synergy PF-500 Fiscal Printer API

   C# 9 5