timgestson Goto Github PK

addict

User registration lib for Phoenix Framework

amazon-sagemaker-deploy-nlp-huggingface

amnesia

Mnesia wrapper for Elixir.

bamboo

Bamboo: a morphing smart contract language

bamboo-tests

Little prost to test bamboo contracts with mocha and web3js

draftassistant

Fantasy Football Draft Tool for Mobile devices

ecto

A database wrapper and language integrated query for Elixir

expaxos

multi paxos algorithm with master leases in elixir

fantasydash

Fantasy Draft Dashboard Written in Elm and ES6

fatcache

Memcache on SSD

grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

graison

Json Library for Grain

hypercube

My Experiments with Multivariate-based Snarks

kops

Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management

laptop-customizer

libxmljs

libxml bindings for v8 javascript engine

math-scratchpad

Just messing around

miden

STARK-based virtual machine

miden-assembly-playground

Test out Miden Assembly language in the browser

model-compression

My experiments with model compression

mpc-problems

Personal experimentation with multi-party computation concepts

natural

general natural language facilities for node

node

evented I/O for v8 javascript

node-sftp

SFTP wrapper for Node.JS

ocaml

The core OCaml system: compilers, runtime system, base libraries

opsworks-mongodb-example

otp

Erlang/OTP

paxos

Multi-Paxos for Erlang, based on "Paxos Made Moderately Complex" [PROTOTYPE]

poly-commit

A Rust library for polynomial commitments

proofs-args-and-zk

Companion to the Proof, Arguments, and Zero-Knowledge manuscript