Toy process language with an interactive playground for exploring concurrency

Visual Studio Code

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

HOAS representation for reduced polarized symmetric interaction combinator nets

A minimal proof checker.

Temporary repository for Kind2's refactor based on HVM2

The development repository for LessWrong2 and the EA Forum, based on Vulcan JS

Taylor series expansion in Swift

The OpenGL Extension Wrangler Library

Zero-Knowledge Cryptography for =nil; Crypto3 C++ Cryptography Suite

Marshalling utilities for Crypto3 Zero-Knowledge Schemes https://github.com/NilFoundation/crypto3-zk

SAVER Protocol Implementation

Polynomial Arithmetics, Fast Fourier Transforms for =nil; Crypto3 C++ Cryptography Suite

Marshalling utilities for Crypto3 Algebraic Operations and Structures Module

=nil; Foundation's Algebraic Operations and Structures Module

Component module for =nil; Foundation's Zero-Knowledge Cryptography