Giters
Jeremy Salwen (jeremysalwen)

jeremysalwen

Geek Repo

33

followers

8

following

40

stars

Home Page:columbia.edu/~jas2312

Github PK Tool:Github PK Tool

Jeremy Salwen's repositories

TalentedHack

LV2 port of Autotalent pitch correction plugin

Language:CLicense:GPL-3.0Stargazers:114Issues:10Issues:9

kn0ck0ut-LV2

Port of kn0ck0ut to LV2 plugin

Language:C++License:GPL-3.0Stargazers:38Issues:8Issues:6

So-synth-LV2

Unofficial LV2 ports of 50m30n3's synthesizers

Language:CLicense:GPL-3.0Stargazers:31Issues:8Issues:3

lv2file

lv2file is a simple program which you can use to apply effects to your audio files.

Language:CLicense:GPL-3.0Stargazers:20Issues:3Issues:7

rust-permutations

Permutations library for Rust

Language:RustLicense:NOASSERTIONStargazers:14Issues:2Issues:7

Minicomputer-LV2

LV2 port of Minicomputer (plus more?)

Language:CLicense:GPL-3.0Stargazers:13Issues:4Issues:1

JSPIIJ

Jeremy Salwen's Pascal Interpreter In Java

Language:JavaLicense:NOASSERTIONStargazers:12Issues:2Issues:3

smbc-tictactoe-cfr

Counterfactual Regret Minimization solver for SMBC's incomplete information Tic Tac Toe

Language:RustLicense:GPL-3.0Stargazers:4Issues:2Issues:0

gcode-cmm

Adapt a USB-controllable 3D printer into a CMM machine

Language:PythonStargazers:1Issues:1Issues:0

PrinTuna

Automatic 3d Printer Slicer Settings Tuner for Cura

Language:PythonLicense:AGPL-3.0Stargazers:1Issues:3Issues:2

aaronhmaastarsearch

code review of Aaron Ma's A* Search

Language:C++Stargazers:0Issues:2Issues:0

advent_of_lean_2022

Verified solutions to Advent of Code in Lean4

Language:LeanStargazers:0Issues:2Issues:0

adventofcode2021

Advent of code solutions for 2021 in Rust

Language:RustStargazers:0Issues:2Issues:0

counted-skiplist-rs

Counted Skiplist library for Rust, designed for TSP solving.

License:Apache-2.0Stargazers:0Issues:2Issues:0

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.

Language:C++License:AGPL-3.0Stargazers:0Issues:1Issues:0

doc-gen4

Document Generator for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

entity-gym

Language:PythonStargazers:0Issues:1Issues:0

fastsmt

Learning to Solve SMT Formulas Fast

Language:SMTLicense:Apache-2.0Stargazers:0Issues:1Issues:0

heapless

Heapless, `static` friendly data structures

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Lean4-Translate-Tactic

A prototype Lean4 tactic for translating propositions through isomorphisms.

Language:LeanStargazers:0Issues:1Issues:0

leanprover.github.io

www

Language:LeanLicense:MITStargazers:0Issues:1Issues:0

mathlib4

Work in progress mathlib port for lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

monosat

MonoSAT - An SMT solver for Monotonic Theories

Language:C++License:MITStargazers:0Issues:1Issues:0

Mowgli

YardForce GForce Mainboard RE

Language:C++Stargazers:0Issues:0Issues:0

open_spiel

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

ShaunCurtis.github.io

Personal Web Site

Stargazers:0Issues:0Issues:0

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

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

xor_filter_rs

Xor Filter crate for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0