Thalia Archibald (@thaliaarchi)
github

thaliaarchi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    105
  • Global Rank 200,739 (Top 7 %)
  • Followers 52
  • Following 27
  • Registered over 10 years ago
  • Most used languages
    Go
         24.1 %
    Rust
         17.2 %
    Coq     10.3 %
    C++
         10.3 %
    Shell
         6.9 %
    Brainfuck     6.9 %
    JavaScript
         6.9 %
    Makefile     6.9 %
    Haskell
         3.4 %
    C
         3.4 %
    jq     3.4 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 50,835
  • Country Ranking
    jq     1
    Brainfuck     39
    Coq     64
    Makefile     731
    Haskell
         3,039
    Go
         3,599
    Rust
         3,785

Top repositories

1

wsjq

Whitespace interpreter and debugger in jq
jq
14
star
2

browser

Parsing library for Firefox and Chromium user data
Go
8
star
3

gocipher

A Go library implementing many classical ciphers
Go
8
star
4

regexp-museum

A museum of historical and modern regular expression engines, showing their development and influence
Makefile
8
star
5

bfcoq

Brainfuck compiler in Coq
Coq
7
star
6

nebula

Compiler for the stack-based Whitespace language with LLVM back end.
Go
7
star
7

transup

Decoding of Blu-Ray PGS (sup) subtitle format
Go
6
star
8

notes

A notebook on compilers, programming languages, and other topics.
Shell
5
star
9

brick-apis

A collection of APIs for BrickLink, Brickset, and LEGO
Go
4
star
10

unity-termsofservice

Mirror of Unity's terms of service
4
star
11

urlhero

Link resolver for current and defunct URL shorteners
Go
3
star
12

lazy-wspace

A Whitespace compiler and interpreter with lazy semantics
Rust
3
star
13

ws-challenges

Solutions for Project Euler, Advent of Code, and Rosetta Code in Whitespace
Makefile
3
star
14

wscoq

Whitespace implementation in Coq
Coq
3
star
15

deque

Reusable double-ended queue iterable container implemented as a circular array.
C++
2
star
16

adobe-cred

Analysis of the 2013 Adobe users.tar.gz dump
Go
2
star
17

yspace

Work-in-progress toolchain for the Whitespace programming language
Rust
2
star
18

compiler-notes

Notes and readings on compilers
Shell
2
star
19

EightBitTunes

Plays 8bit tunes on an Arduino from ABC Notation format songs.
C++
2
star
20

coq-turing-typeclass

A proof that Coq typeclass resolution is Turing-complete
Coq
2
star
21

bfrs

An optimizing compiler for Brainfuck.
Rust
2
star
22

wsbf

Whitespace interpreter in Brainfuck
Brainfuck
1
star
23

cybf-archive

Archive of CyBF, a language that compiles to Brainfuck by Cybis
Brainfuck
1
star
24

xmlang

A functional programming language with XML syntax
JavaScript
1
star
25

respace

An interpreter and assembler for the Whitespace language written in C++
C++
1
star
26

re1-rust

A port of re1, Russ Coxโ€™s simple, virtual machineโ€“based regular expression engine
Rust
1
star
27

mt19937-archive

Reconstructed revision history for the MT19937 Mersenne Twister PRNG by Makoto Matsumoto and Takuji Nishimura
C
1
star
28

nebula2

Toolchain for the Whitespace programming language
Rust
1
star
29

foones-eightfold

A dependently typed esolang by Pablo Barenbaum. This repo restores the full revision history.
Haskell
1
star
30

Papercraft-Pig-Generator

This is a generator made for pixelpapercraft.com that creates a papercraft pig design from a minecraft texture file.
JavaScript
1
star