Skip to content
View j2kun's full-sized avatar
💭
Math math math math math math math
💭
Math math math math math math math

Sponsoring

@nvim-treesitter
@neovim

Block or report j2kun

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

MLIR+EqSat

MLIR 22 4 Updated Aug 12, 2025
C++ 2 Updated May 29, 2022

A backend agnostic modular FHE library over the Torus using bivariate polynomial representation

Rust 47 7 Updated Dec 21, 2025

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

C++ 1,713 633 Updated Jan 1, 2026

POC work on MLIR backend

C++ 61 10 Updated Aug 21, 2024

Arbitrary precision integer and rational arithmetic library

C 151 27 Updated Nov 30, 2025

[mirror] Open source contributor agent architecture repo.

Go 211 25 Updated Dec 9, 2025

Fuzzy find for the terminal

Python 35 2 Updated May 10, 2015

Test code for my custom float multiply blog post: https://probablydance.com/2025/02/08/why-does-integer-addition-approximate-float-multiplication/

C++ 7 1 Updated Feb 17, 2025

Fast package resolver written in Rust (CDCL based SAT solving)

Rust 204 25 Updated Dec 15, 2025

A highly experimental vi-inspired editor where you edit code, not text.

Rust 767 20 Updated Feb 4, 2025

Text Filter Manager for Vim/NeoVim !!

Vim Script 26 1 Updated Sep 15, 2025

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 …

Python 48 4 Updated Dec 16, 2025

An experiment into distributed search for the IndieWeb

Swift 6 Updated May 30, 2024

Improved Yank and Put functionalities for Neovim

Lua 1,183 29 Updated Dec 2, 2025

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…

Shell 82 14 Updated Jul 21, 2024
Python 21 Updated Apr 25, 2024

A deep dive into embeddings starting from fundamentals

Jupyter Notebook 1,057 86 Updated Jan 1, 2026

Experiments in using Z3 to check common FHE transformations

Python 2 Updated Apr 9, 2024

A performant NumPy extension for Galois fields and their applications

Python 448 38 Updated Jan 2, 2026
Python 10 3 Updated Dec 4, 2025

A python library for the fully homomorphic encryption scheme ACES

Python 17 3 Updated Feb 14, 2025

BLAS-like Library Instantiation Software Framework

C 2,582 406 Updated Nov 11, 2025

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…

Rust 3,477 97 Updated Dec 21, 2025

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

HTML 14,264 991 Updated Nov 19, 2025

Versatile framework for multi-party computation

C++ 1,117 341 Updated Dec 24, 2025

Extract annotations (highlights and scribbles) from PDF, EPUB, and notebooks marked with reMarkable tablets. Export to Markdown, PDF, PNG, SVG

Python 387 28 Updated May 26, 2024

C++ logic network library

C++ 272 160 Updated Sep 30, 2025

A compiler for homomorphic encryption

C++ 634 112 Updated Jan 2, 2026

Parametric Integer Programming

Python 6 Updated Dec 19, 2022
Next