jeremyschlatter

chime

An interpreter for Bel

always-smile

Redirect your amazon.com requests to smile.amazon.com

env

My development environment, managed by nix

bel-advent-of-code-2019

Solving Advent of Code 2019 in Bel

advent-of-code-2019

Mediocre solutions to Advent of Code 2019

advent-of-code-2020

awesome-age

A collection of projects and resources in the age file encryption ecosystem.

baba

binary-lambda-calculus

exochat

firebase

Wrapper for the official Firebase Go client with partial in-memory database.

flutter

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

forestry-io-experiment

go

The Go programming language

hugo-twenty-twenty-forestry

issue

libp2p-playground

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

pk-verify

poke

CLI tool for interacting with smart contracts

protocol

rsr-tools

dev utilities for working with github.com/reserve-protocol/protocol

sandboxfs

A virtual file system for sandboxing

snake

Little snake implementation using Rust and Piston.

urbit.org

The source for urbit.org

vim-unicoder

unicoder.vim: easy unicode characters in insert mode with abbreviations

wasm

Utilities for loading and running WASM modules from Dart code

wasmbrowsertest

Run WASM tests inside your browser

xdg