Pinned Repositories
dependent-c
A dependently-typed C-like language.
distill
A dependently typed intermediate language.
dts-generator
Generates a single .d.ts bundle containing external module declarations exported from TypeScript module files.
nethackds
Nintendo DS port of NetHack
argon
An open-standards augmented reality platform for the web
DNoved1's Repositories
DNoved1/dts-generator
Generates a single .d.ts bundle containing external module declarations exported from TypeScript module files.
DNoved1/dependent-c
A dependently-typed C-like language.
DNoved1/distill
A dependently typed intermediate language.
DNoved1/nethackds
Nintendo DS port of NetHack