Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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