NoamDev

inet-type-checking

hpmor-heb

Continously produces word and pdf releases whenever the docs at rationality.co.il change

ton-msig-asm-repro

Free TON Multisig Assembly Reproduction

array

Boost.org array module

crypto3-algebra

=nil; Foundation's Algebraic Operations and Structures Module

crypto3-algebra-marshalling

Marshalling utilities for Crypto3 Algebraic Operations and Structures Module

crypto3-blueprint

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

crypto3-containers

crypto3-math

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

crypto3-zk

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

crypto3-zk-marshalling

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

ForumMagnum

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

glew

The OpenGL Extension Wrangler Library

glium

Safe OpenGL wrapper for the Rust language.

guess-word-bot

hangedman_bot

inet-hoas

HOAS representation for reduced polarized symmetric interaction combinator nets

interaction-calculus-of-constructions

A minimal proof checker.

kind

Temporary repository for Kind2's refactor based on HVM2

polarized-interaction-combinators

powers-of-tau

sic-path-net

SpeedTest-php

a speedtest php site

taylor.swift

Taylor series expansion in Swift

timezone-bot

TON-Compiler

Clang compiler for Free TON Virtual Machine

tor-bitcoin-graph

vote-saver-android

vote-saver-protocol

SAVER Protocol Implementation

vote-saver-protocol-mpc