#
j2kun
Follow
Starred repositories
Test code for my custom float multiply blog post: https://probablydance.com/2025/02/08/why-does-integer-addition-approximate-float-multiplication/
Fast package resolver written in Rust (CDCL based SAT solving)
A highly experimental vi-inspired editor where you edit code, not text.
Text Filter Manager for Vim/NeoVim !!
Intel’s HERACLES accelerator introduces a new set of fundamental instructions, the Polynomial Instructions Set Architecture (P-ISA) that operates directly on polynomials requiring a completely new …
An experiment into distributed search for the IndieWeb
Improved Yank and Put functionalities for Neovim
This bash script simplifies the process of downloading and installing Nerd Fonts. The script prompts the user to choose a font and its extension, handles the installation process, and supports diff…
A deep dive into embeddings starting from fundamentals
Experiments in using Z3 to check common FHE transformations
A performant NumPy extension for Galois fields and their applications
A python library for the fully homomorphic encryption scheme ACES
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
data61 / MP-SPDZ
Forked from bristolcrypto/SPDZ-2Versatile framework for multi-party computation
Extract annotations (highlights and scribbles) from PDF, EPUB, and notebooks marked with reMarkable tablets. Export to Markdown, PDF, PNG, SVG
Plugin for pre-commit for arbitrary search and replace on committed files.
An all in one plugin for converting text case in Neovim
Robust Reinforcement Learning Under Minimax Regret for Green Security (UAI-21)
Code for "Zero To Production In Rust", a book on API development using Rust.
An out-of-tree MLIR dialect template.