High-Performance FP32 Matrix Multiplication on CPU

Official inference framework for 1-bit LLMs

Arbitrage opportunities in crypto using graphs

Library of the ##dependent distributed research support group

Interaction Type Theory based on fixed points

This is a mere experiment.

Non-custodial Interlinked Tokenization Infrastructure

🧊 | Voxel engine in rust :)

Embedded drawing tool for Emacs

mal - Make a Lisp

📚 Biblioteca de livros essenciais da área da programação. (Confira o meu novo projeto `SendScriptWhatsapp`)

Temporary repository for Kind2's refactor based on HVM2

A massively parallel, high-level programming language

PLS Implementation Possibilities

A profitable triangular arbitrage cycles finder.

NodeSource Node.js Binary Distributions

LevelDB key/value database in Go.

A minimal proof checker.

Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!

A concise but complete full-attention transformer with a set of promising experimental features from various papers

Implementation of Denoising Diffusion Probabilistic Model in Pytorch

An experimental decentralized cryptocomputer without fees, without PoW, without a native currency, without stateful contracts, and without a builtin consensus mechanism.

E-books collected according to Milo Yip's learning path

🦊 | A language that compiles to LLVM and has algebraic effects

Aprenda Elixir em 4 Pull Requests!

Systems language with linear types and capability-based security.

F# RISC-V Instruction Set formal specification