Pinned Repositories
JSPIIJ
Jeremy Salwen's Pascal Interpreter In Java
kn0ck0ut-LV2
Port of kn0ck0ut to LV2 plugin
lv2file
lv2file is a simple program which you can use to apply effects to your audio files.
Minicomputer-LV2
LV2 port of Minicomputer (plus more?)
ORB_SLAM_COMMUNITY
A community maintained fork of the inactive ORB_SLAM3 project
ParaphraseAutoencoder-octave
Minor changes to Richard Socher's Recursive Autoenocder code to work with GNU Octave. (http://www.socher.org/index.php/Main/DynamicPoolingAndUnfoldingRecursiveAutoencodersForParaphraseDetection)
rust-permutations
Permutations library for Rust
So-synth-LV2
Unofficial LV2 ports of 50m30n3's synthesizers
TalentedHack
LV2 port of Autotalent pitch correction plugin
TerminalWx
WxWidgets Terminal Widget
jeremysalwen's Repositories
jeremysalwen/TalentedHack
LV2 port of Autotalent pitch correction plugin
jeremysalwen/So-synth-LV2
Unofficial LV2 ports of 50m30n3's synthesizers
jeremysalwen/lv2file
lv2file is a simple program which you can use to apply effects to your audio files.
jeremysalwen/ORB_SLAM_COMMUNITY
A community maintained fork of the inactive ORB_SLAM3 project
jeremysalwen/rust-permutations
Permutations library for Rust
jeremysalwen/JSPIIJ
Jeremy Salwen's Pascal Interpreter In Java
jeremysalwen/smbc-tictactoe-cfr
Counterfactual Regret Minimization solver for SMBC's incomplete information Tic Tac Toe
jeremysalwen/Mowgli
YardForce GForce Mainboard RE
jeremysalwen/gcode-cmm
Adapt a USB-controllable 3D printer into a CMM machine
jeremysalwen/PrinTuna
Automatic 3d Printer Slicer Settings Tuner for Cura
jeremysalwen/aaronhmaastarsearch
code review of Aaron Ma's A* Search
jeremysalwen/advent_of_lean_2022
Verified solutions to Advent of Code in Lean4
jeremysalwen/adventofcode2021
Advent of code solutions for 2021 in Rust
jeremysalwen/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.
jeremysalwen/doc-gen4
Document Generator for Lean 4
jeremysalwen/entity-gym
jeremysalwen/fastsmt
Learning to Solve SMT Formulas Fast
jeremysalwen/ftc_local_planner
jeremysalwen/heapless
Heapless, `static` friendly data structures
jeremysalwen/lean4
Lean 4 programming language and theorem prover
jeremysalwen/Lean4-Translate-Tactic
A prototype Lean4 tactic for translating propositions through isomorphisms.
jeremysalwen/leanprover.github.io
www
jeremysalwen/mathlib4
Work in progress mathlib port for lean 4
jeremysalwen/monosat
MonoSAT - An SMT solver for Monotonic Theories
jeremysalwen/mowgli-docker
jeremysalwen/open_mower_ros
jeremysalwen/open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
jeremysalwen/openmower-gui
jeremysalwen/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
jeremysalwen/ShaunCurtis.github.io
Personal Web Site