Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by bor0
A curated list of projects in awesome lists by bor0 .
https://github.com/bor0/gidti
Book: Introduction to Dependent Types with Idris
books dependent-types idris lambda-calculus theorem-proving type-theory types
Last synced: 02 Aug 2024
https://github.com/bor0/chip-8
CHIP-8 virtual machine was made to allow video games to be more easily programmed for said computers
c chip-8 chip8 games interpreter sdl
Last synced: 03 Aug 2024