Jeremy Kun's repositories
mlir-tutorial
MLIR For Beginners tutorial
restrepo-1957
Rodrigo Restrepo. Tactical Problems Involving Several Actions. Contributions to the Theory of Games, Vol. III. 1957
chktex-action
A Github action to lint a LaTeX file for style and formatting issues.
math-genealogy-visualizer
A javascript visualization of the math genealogy database
fhe-schemes
A tutorial repository for learning implementations of FHE schemes
nvim-config
Neovim config
todo-backlinks
Link from issue 123 to source lines containing `TODO(#123)`
j2kun-math3ma
Collaborative math code!
blockly-prototype-cleanup
A prototype for https://github.com/google/blockly/issues/1734
april-cools.github.io
April Cools' Club website
bazel_rules_hdl
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
hugo-goldmark-extensions
Work in progress.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
openfhe-development
This is the development repository for the OpenFHE library. The current (stable) version is v1.1.2 (released on December 16, 2023).
Polygeist
C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
remez
An implementation of the remez algorithm and variants
tianshou-experiments
Experiments with RL and the tianshou library
TinyGarble
TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits