Jeremy Salwen's repositories
Mowgli
YardForce GForce Mainboard RE
ShaunCurtis.github.io
Personal Web Site
Lean4-Translate-Tactic
A prototype Lean4 tactic for translating propositions through isomorphisms.
advent_of_lean_2022
Verified solutions to Advent of Code in Lean4
doc-gen4
Document Generator for Lean 4
lean4
Lean 4 programming language and theorem prover
mathlib4
Work in progress mathlib port for lean 4
rust-permutations
Permutations library for Rust
smbc-tictactoe-cfr
Counterfactual Regret Minimization solver for SMBC's incomplete information Tic Tac Toe
open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
heapless
Heapless, `static` friendly data structures
CuraEngine
Powerful, fast and robust engine for converting 3D models into g-code instructions for 3D printers. It is part of the larger open source project Cura.
TalentedHack
LV2 port of Autotalent pitch correction plugin
So-synth-LV2
Unofficial LV2 ports of 50m30n3's synthesizers
aaronhmaastarsearch
code review of Aaron Ma's A* Search
adventofcode2021
Advent of code solutions for 2021 in Rust
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
fastsmt
Learning to Solve SMT Formulas Fast
monosat
MonoSAT - An SMT solver for Monotonic Theories
Minicomputer-LV2
LV2 port of Minicomputer (plus more?)
xor_filter_rs
Xor Filter crate for Rust
tartini
A trial to make Tartini (The real time music analysis tool ) to evolve. Original code is located in http://miracle.otago.ac.nz/tartini/download.html
kn0ck0ut-LV2
Port of kn0ck0ut to LV2 plugin