InfiniteSwerve's repositories

ShowMeTheTypes

A one-function package designed to do one thing.. show you the types!

Language:PythonLicense:GPL-3.0Stargazers:3Issues:0Issues:0
Language:ReasonLicense:MITStargazers:2Issues:0Issues:0

bin_prot

Binary protocol generator

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

core

Jane Street Capital's standard library overlay

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

core_bench

Micro-benchmarking library for OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

OkayML

Barebones Autograd and MLPs in OCaml

Language:OCamlStargazers:0Issues:0Issues:0

RISC-V

My attempt at implementing RISC-V s.t. it passes the RISC-V tests.

Language:PythonStargazers:0Issues:0Issues:0

CRDT

Conflict Free Replicated Data Types easily in OCaml

Language:OCamlStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:OCamlLicense:MITStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

esy_error_repro

Minimally reproducing files for an esy error

Language:OCamlStargazers:0Issues:0Issues:0

esy_error_repro_2

Reproduction for an esy error

Language:OCamlStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Frequency_analysis

A helper library for understanding selection effects on transformers grokking modular arithmetic

Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0

jp-trainer

Jazz Piano Trainer

License:MITStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

npy-ocaml

Numpy file format support for ocaml.

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

PointClicker

A simple program to click and record points on jpgs

Language:PythonStargazers:0Issues:0Issues:0

pollinate

A platform agnostic library for P2P communications using UDP and Bin_prot

Language:OCamlStargazers:0Issues:0Issues:0

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

sicm-scheme-exercises

Exercises and notes on Structure and Interpretation of Classical Mechanics.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

vim-config

A simple lunarvim config

Language:LuaStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0

ZKHack-workshops

Collection of the chats happening during the ZKHack workshop presentations

Stargazers:0Issues:0Issues:0