William Brandon (@exists-forall)
github

exists-forall

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    47
  • Global Rank 356,388 (Top 13 %)
  • Followers 38
  • Following 9
  • Registered almost 12 years ago
  • Most used languages
    Rust
         46.2 %
    Python
         15.4 %
    Elm
         15.4 %
    Haskell
         15.4 %
    TypeScript
         7.7 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 69,372
  • Country Ranking
    Elm
         245
    Haskell
         624
    Rust
         1,983

Top repositories

1

striped_attention

Python
35
star
2

nickel

A safe and efficient target language for functional compilers
Rust
18
star
3

EventualMonad

A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writing compilers.
Haskell
15
star
4

id_collections

Index-Oriented Programming in Rust
Rust
5
star
5

screaming_float

Implements Screaming NaNs
Rust
4
star
6

elm-array

A reimplementation of Elm's core Array module
Elm
3
star
7

delta

The official compiler for the Delta programming language
Haskell
3
star
8

knot-optimization

A UC Berkeley research project to generate 3D-printed models of topological knots
Rust
3
star
9

pretty-trait

Simple trait-based pretty-printing in Rust
Rust
3
star
10

elm-constructive

A variant of the Elm architecture, where actions directly construct new models
Elm
2
star
11

incremental-rs

Composable and extensible incremental computation in Rust
Rust
2
star
12

vscode-quick-note

A simple Visual Studio Code extension for creating scratch notes
TypeScript
1
star
13

telerun

Lightweight, portable job queue system
Python
1
star