Discover @bobbbay Open Source projects

Bob (@bobbbay)

bobbbay

Stars
103
Global Rank 203,560 (Top 8 %)
Followers 41
Following 30
Registered over 5 years ago
Most used languages

Rust
40.0 %

Go
20.0 %

Idris 10.0 %

JavaScript
10.0 %

C
10.0 %

Nix
10.0 %
Location 🇨🇦 Canada
Country Total Rank 5,538
Country Ranking

Idris 11

Nix
16

Rust
226

Go
752

C
2,793

dotfiles

~. Nix all the things!

salo

Declarative, reproducible, statically typed build and deployment for Operating Systems.

dos

DDoS written in GoLang - Quick and simple!

GoServe

Quickly serve static sites with the speed of Go.

SEMC

Official GitHub Repository for SEMC

bobbbay

We don’t write Haskell because we’re geniuses — we use tools like Haskell because we're not geniuses and it helps us.

quick-linux

Awesome instructions for installing Linux distributions, quickly.

dinwiddy

Dependently typed N-dimensional array type signatures for Idris (2).

category_theory_experiments

A collection of my experiments while following along with "Category Theory for Programmers"

lang

idk

If you don't know, consult a quote.

emu

A toy emulator.