Popular repositories Loading

1. website website Public

   Forked from nim-lang/website

   Code for the official Nim programming language website

   HTML 2

2. asmbf asmbf Public

   Forked from kspalaiologos/asmbf

   The only true brainfuck-targetting assembler.

   C 1

3. nim-bigints nim-bigints Public

   Forked from nim-lang/bigints

   BigInts for Nim

   Nim

4. Nim Nim Public

   Forked from nim-lang/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,…

   Nim

5. metamath-exe metamath-exe Public

   Forked from metamath/metamath-exe

   Metamath program - source code for the Metamath executable

   C

6. forematics forematics Public

   Forked from treeform/forematics

   Formatics - Metamath verifier written in Nim.

   Nim