tsukasa-u

sevendayshpc

一週間でなれる！スパコンプログラマ

kc-web

mm0

Metamath Zero specification language

kcTools

embedded-app-sdk

🚀 The Discord Embedded App SDK lets you build rich, multiplayer experiences as Activities inside Discord.

X-20A.github.io

atopile

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

monaspace

An innovative superfamily of fonts for code

akashi-list

fully-homomorphic-encryption

An FHE compiler for C++

heir

A compiler for homomorphic encryption

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

TFHEpp

Pure C++ Ver. of TFHE.

ApproxFun.jl

Julia package for function approximation

lecture-notebooks-2023

poi

Scalable KanColle browser and tool.

KanColleViewer

艦これブラウザーのようなもの

AsteroidThermoPhysicalModels.jl

Julia-based dynamical simulator for asteroids and planets.

mathlib4

The math library of Lean 4

Folia

Fork of Paper which adds regionised multithreading to the dedicated server.

cc-rs

Rust library for build scripts to compile C/C++ code into a Rust library

life

The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife

Life_MiSTer

Conway's Game of Life in FPGA

alphatensor