Pinned Repositories
bba
Command-Line-Calendar
Display information from your iCal calendar in the terminal
corejs
A partial "spiritual port" of Jane Street's Core to js_of_ocaml
curve-search
diffgeo
HackerNews-Scraper
A scraper and parser of data from HackerNews
mote
ocamlfrp
FRP library in OCaml intended primarily for js_of_ocaml usage
proof
stationary
A static site generator library for OCaml
imeckler's Repositories
imeckler/stationary
A static site generator library for OCaml
imeckler/bba
imeckler/curve-search
imeckler/wordle-solver
imeckler/oak
imeckler/argmin
Mathematical optimization in pure Rust
imeckler/b2
imeckler/bips
Bitcoin Improvement Proposals
imeckler/bloomf
Bloomf - Efficient Bloom filters for OCaml
imeckler/bs-json
Compositional JSON encode/decode library for BuckleScript
imeckler/cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
imeckler/curves
Implementations of popular elliptic curves
imeckler/halo2
imeckler/ioi
imeckler/libbase58
C library for Bitcoin's base58 encoding
imeckler/libfvde
Library and tools to access FileVault Drive Encryption (FVDE) encrypted volumes
imeckler/libsnark
C++ library for zkSNARKs
imeckler/marlin
A Rust library for the Marlin preprocessing zkSNARK
imeckler/merlin
Context sensitive completion for OCaml in Vim and Emacs
imeckler/nanos-secure-sdk
Secure (ST31) SDK for Ledger Nano S
imeckler/ocaml-websocket
Websocket library for OCaml
imeckler/one-and-thirty-programs
imeckler/r
A simple program for making decisions randomly
imeckler/rayon
Rayon: A data parallelism library for Rust
imeckler/salad-bowl
imeckler/snark-challenge
Coda + Dekrypt: The SNARK Challenge - Reference Material
imeckler/snarky-formal-verification
Experiment to formally verify snarky code
imeckler/tech-coops
A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.
imeckler/tern
Project tracker
imeckler/weather-example
Example for teaching OCaml