DNoved1

Pinned Repositories

dependent-c
A dependently-typed C-like language.
Language:C11
distill
A dependently typed intermediate language.
Language:Haskell00
dts-generator
Generates a single .d.ts bundle containing external module declarations exported from TypeScript module files.
Language:TypeScript00
nethackds
Nintendo DS port of NetHack
Language:C00
argon
An open-standards augmented reality platform for the web
Language:TypeScript40372

DNoved1's Repositories

DNoved1/dts-generator
Generates a single .d.ts bundle containing external module declarations exported from TypeScript module files.
Language:TypeScript
DNoved1/dependent-c
A dependently-typed C-like language.
Language:C11
DNoved1/distill
A dependently typed intermediate language.
Language:Haskell
DNoved1/nethackds
Nintendo DS port of NetHack
Language:C