Send email written in Markdown

Instant Pdf Referencing

Coleman integration in Julia/Nemo

Ongoing project to apply machine learning to the computation of algebraic K-theory.

Proof of Concept: a C-callable GPU-enabled parallel 2-D heat diffusion solver written in Julia using CUDA, MPI and graphics

A collection of some awesome public Julia programming language projects.

A curated list of awesome LLVM (including Clang, etc) related resources.

CUDA programming in Julia.

Patterns and behaviors for GPU computing

A Julia framework for implementing FFTs

Pass loop info to LLVM

Flexible and performant GEMM kernels in Julia

Unrolling loops at compile-time

Syntomic cohomology of Z/p^n

Minimal resolution algorithm for Adams-Novikov E2 term

Dynamically scheduling Julia code for HLS

A package for manipulating the Julia typed IR

Mockup implementation of Hilbert Modular Forms

FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package

GaloisCPP: C++ Library for General Galois Field Arithmetic

A Rust library containing Galois-field types and utilities

Codebase for "A Census of Cubic Fourfolds over F2"

Implementation of higher-order logic in Python

Website and documentation for the Liquid Tensor Experiment

plasTeX plugin to build formalization blueprints.

msieve - Number Field Sieve implementation by Jason Papadopoulos

Fixed-width integers similar to builtin ones

Lean 3's obsolete mathematical components library: please use mathlib4