Popular repositories Loading

1. website websitePublic

   Forked from nim-lang/website

   Code for the official Nim programming language website

   HTML 2

2. asmbf asmbfPublic

   Forked from iczelia/asmbf

   The only true brainfuck-targetting assembler.

   C 1

3. nim-bigints nim-bigintsPublic

   Forked from nim-lang/bigints

   BigInts for Nim

   Nim

4. Nim NimPublic

   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-exePublic

   Forked from metamath/metamath-exe

   Metamath program - source code for the Metamath executable

   C

6. forematics forematicsPublic

   Forked from treeform/forematics

   Formatics - Metamath verifier written in Nim.

   Nim