Explanation to key concepts in ML

A modern Wine wrapper for macOS built with SwiftUI

Ripser: efficient computation of Vietoris–Rips persistence barcodes

Topological Data Analysis for Python🐍

An efficient pure-PyTorch implementation of Kolmogorov-Arnold Network (KAN).

FastKAN: Very Fast Implementation of Kolmogorov-Arnold Networks (KAN)

Kolmogorov Arnold Networks

Implementation of the paper Generalized Simplicial Attention Neural Networks

A platform-independent file lock for Python.

Simplicial neural networks (SNNs), a generalization of graph neural networks to data that live on a class of topological spaces called simplicial complexes.

Source code for the nLab

Windows inside a Docker container.

A simple visual editor for creating commutative diagrams.

A web-based collaborative LaTeX editor

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

The math library of Lean 4

Natural Number Game

Thư viện xữ lý chữ số dành riêng cho Tiếng Việt.

Main codebase for TeXworks, a simple interface for working with TeX documents

Open source stenotype engine

Enter Unicode characters using LaTeX notation

Lean 4 programming language and theorem prover

Pytorch implementation of Noisy Student Training for Automatic Speech Recognition and Automatic Pronunciation Error Detection problem

A post-modern modal text editor.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Agda is a dependently typed programming language / interactive theorem prover.

Main repository of SageMath

Block Krylov SVD implementation for NumPy

Fast randomized block Krylov method for the singular value decomposition