Qaziquza's repositories
chibicc
A small C compiler
Language:CMIT000
forematics
Formatics - Metamath verifier written in Nim.
Language:NimMIT000
metamath-exe
Metamath program - source code for the Metamath executable
Language:CGPL-2.0000
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Language:NimNOASSERTION000
nim-bigints
BigInts for Nim
Language:NimMIT000