Thalia Archibald (thaliaarchi)

thaliaarchi

Geek Repo

Github PK Tool:Github PK Tool


Organizations
wspace

Thalia Archibald's repositories

wsjq

Whitespace interpreter and debugger in jq

Language:jqLicense:MPL-2.0Stargazers:13Issues:2Issues:0

bfcoq

Brainfuck compiler in Coq

Language:CoqLicense:GPL-3.0Stargazers:6Issues:1Issues:1

notes

A notebook on compilers, programming languages, and other topics.

Language:ShellLicense:GFDL-1.3Stargazers:4Issues:2Issues:0

unity-termsofservice

Mirror of Unity's terms of service

lazy-wspace

A Whitespace compiler and interpreter with lazy semantics

Language:RustLicense:MPL-2.0Stargazers:3Issues:1Issues:0

cybf-archive

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

Language:BrainfuckStargazers:1Issues:1Issues:0

foones-eightfold

A dependently typed esolang by Pablo Barenbaum. This repo restores the full revision history.

Language:HaskellStargazers:1Issues:1Issues:0

mt19937-archive

Reconstructed revision history for the MT19937 Mersenne Twister PRNG by Makoto Matsumoto and Takuji Nishimura

Language:CStargazers:1Issues:1Issues:0

re1-rust

A port of re1, Russ Cox’s simple, virtual machine–based regular expression engine

Language:RustLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

bitwuzla-sys

Low-level Rust bindings for the Bitwuzla SMT solver

Language:RustLicense:MITStargazers:0Issues:0Issues:0

branded-graph

Demonstration of a branded graph structure with safe and fast self-references.

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0

cliff-stock-bench

Implementation of Cliff Click's stock CSV benchmark in Rust, for comparison against other programming languages

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

config

Configuration notes and setup scripts for Raspberry Pi on various distros

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

decus-grep-rust

A port of the historical DECUS grep.c to Rust

Language:CLicense:MPL-2.0Stargazers:0Issues:1Issues:0

foones-cratylus

A polynomial rewriting esolang by Pablo Barenbaum. This repo restores the full revision history.

Language:PythonStargazers:0Issues:1Issues:0

git

My contributions to Git

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

jq

Command-line JSON processor

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

jqjq

jq implementation of jq

Language:jqLicense:MITStargazers:0Issues:0Issues:0

leaf

A tree-based Turing tarpit

Language:TypeScriptStargazers:0Issues:0Issues:0

leafy

A fast implementation of the Leaf esoteric programming language

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0

mersenne-untwist

Reverse implementation of the MT19937 Mersenne Twister pseudorandom number generator

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

quine-relay-spoiler

Fork of Yusuke Endoh's Quine Relay, which merges in the spoiler programs

Language:JSONiqStargazers:0Issues:0Issues:0

re1

Regexp code for https://swtch.com/~rsc/regexp/

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

repo-archival

Scripts to generate or extract git repos for specific projects

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

rust-phf

Compile-time static maps for Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

sandbox-links

A library for working with Try It Online and Attempt This Online code share links

Language:RustLicense:GPL-3.0Stargazers:0Issues:1Issues:0

wslib

Library written in Whitespace, including arbitrary-precision math and I/O utilities

Language:sedLicense:MPL-2.0Stargazers:0Issues:1Issues:0

wspace-d3psi-spacey

a tiny, wasm-ready virtual machine - stupidly fast

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

zeus-editor-archive

Archive of Zeus Programmers Editor v1.05–v3.40 (1995–2000)

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0