Noah Evans (@npe9)
github

npe9

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    66
  • Global Rank 279,087 (Top 10 %)
  • Followers 58
  • Following 226
  • Registered over 15 years ago
  • Most used languages
    C
         43.8 %
    Go
         12.5 %
    Roff     6.3 %
    Makefile     6.3 %
    Java
         6.3 %
    Coq     6.3 %
    OpenEdge ABL     6.3 %
    Prolog
         6.3 %
    TeX
         6.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 58,918
  • Country Ranking
    Prolog
         20
    Coq     134
    OpenEdge ABL     337
    Roff     450
    Makefile     3,081
    TeX
         5,266
    C
         5,343

Top repositories

1

aop

Art of Prolog Code
Prolog
35
star
2

pclu

The portable clu compiler
C
8
star
3

inferno

The Inferno Operating System From Bell-Labs
C
7
star
4

certikos

Certikos PLDI artifact
Coq
3
star
5

qemu-acid

acid support for qemu
C
2
star
6

lsl

Larch Specification Language
C
2
star
7

gofunc

Automatically exported from code.google.com/p/gofunc
Go
1
star
8

enpipe

C
1
star
9

Netguage

Netgauge
C
1
star
10

WMH_Vassal

Vassal Module for Warmachine/Hordes
Makefile
1
star
11

cs-roofline-toolkit

Java
1
star
12

larch

the larch prover
TeX
1
star
13

go-plan9

Automatically exported from code.google.com/p/go-plan9
Go
1
star
14

fnbench

benchmark the cost of function calls
Roff
1
star
15

software-tools

The software tools programs written in a variety of languages
OpenEdge ABL
1
star
16

tet3.8

Posix test suite
C
1
star