[go: up one dir, main page]

Skip to content
View xkey-'s full-sized avatar

Block or report xkey-

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Open source DocuSign alternative. Create, fill, and sign digital documents ✍️

Ruby 7,621 516 Updated Nov 11, 2024

The compiler is available for download. Get it!

C++ 2,406 73 Updated Nov 5, 2023

Community Cryptography Specification Project

Python 312 27 Updated Oct 16, 2024

Faster Polynomial Division

Rust 7 5 Updated Aug 16, 2024

The 2024 edition of The Nature of Code with p5.js. Includes Notion workflow and build system.

HTML 1,171 82 Updated Nov 18, 2024
Rust 247 82 Updated Nov 18, 2024

Compress sets of integers efficiently

Go 19 Updated Aug 2, 2024

Shredos Disk Eraser 64 bit for all Intel 64 bit processors as well as processors from AMD and other vendors which make compatible 64 bit chips. ShredOS - Secure disk erasure/wipe

Makefile 1,506 64 Updated Sep 17, 2024

A header-only C++ library for numerical optimization --

C++ 743 120 Updated Nov 18, 2024

OptimLib: a lightweight C++ library of numerical optimization methods for nonlinear functions

C++ 821 135 Updated Apr 28, 2024

Hypergraph Neural Network-Based Combinatorial Optimization

Python 81 13 Updated Oct 4, 2024

A Python wrapper for the DASSL, DASPK, and DASKR differential algebraic system solvers

Fortran 47 8 Updated Feb 19, 2015

Scalable training and inference for Probabilistic Circuits

Python 49 9 Updated Nov 12, 2024

Tangle Software Library

Jupyter Notebook 23 1 Updated May 13, 2024

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

Lean 76 5 Updated May 31, 2024

Embedded Template Library

C++ 2,244 392 Updated Nov 13, 2024

Improved sampling via learned diffusions (ICLR2024) and an optimal control perspective on diffusion-based generative modeling (TMLR2024)

Python 52 6 Updated Aug 30, 2024

A JAX research toolkit for building, editing, and visualizing neural networks.

Python 1,678 52 Updated Nov 1, 2024

An intuitive LLM prompting framework for multifunctional agents, by explicitly constructing a complex "thought process" from simple natural language prompts.

Python 419 49 Updated Nov 8, 2024

LLM training in simple, raw C/CUDA

Cuda 24,441 2,764 Updated Oct 2, 2024

Fast and modular sklearn replacement for generalized linear models

Python 158 32 Updated Nov 7, 2024

JPEG XL image format reference implementation

C++ 2,709 262 Updated Nov 18, 2024

Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.

Rust 1,753 71 Updated Nov 19, 2024

A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

C 17,286 653 Updated Nov 19, 2024

Rubi for Mathematica

Mathematica 232 24 Updated Feb 22, 2024

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

Shell 10,126 418 Updated Oct 29, 2024

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Python 48 10 Updated Nov 14, 2024

Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594

Python 12 Updated Mar 25, 2024

Content of Online Encyclopedia of Integer Sequences (OEIS)

62 9 Updated Nov 18, 2024

Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale 🐻

Python 248 89 Updated Nov 15, 2024
Next