hengittää's repositories
aoc
Finland > Greece
lean4
Lean 4 programming language and theorem prover
ATS-Xanadu
Bootstrapping ATS3
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
bashrc-profile
colorbash yay. zsh sucks and is for noobs at 42.fr
games
life isn't a game; it's a self replicating universal computer. but if you're really that dumb, you can pretend~
Nayuki-web-published-code
Complete collection of code files (*.java/js/py/cpp/etc.) published on Project Nayuki website.
zen
Experimental operating system written in Zig
Program5
lets get it
Computer-Architecture-and-the-Hardware-Software-Interface
uploaded for my fb/irl friend Nicolas Sadirac
NeMo
NeMo: a framework for generative AI
piscine-go
"gitea is the ultimate source of truth" - anon
QUAD
swagswagswag, we the best
TensorRT
NVIDIA® TensorRT™ is an SDK for high-performance deep learning inference on NVIDIA GPUs. This repository contains the open source components of TensorRT.
tensorrtllm_backend
The Triton TensorRT-LLM Backend
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
murxla
A model-based API Fuzzer for SMT Solvers.
circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Finch.jl
Sparse tensors in Julia and more! Datastructure-driven array programing language.
SparseRooflineBenchmark
The Sparse Roofline Benchmark Suite
minikube
Run Kubernetes locally
Rai-Net-Access-Battlers---Official
Official repository of Rai-Net Access Battlers, the digital version of the famous board game downloadable from www.rainetdigital.com