Pinned Repositories
action-docker-layer-caching
🐳 Enable Docker layer caching in GitHub Actions
anonymous-vote
anonymous-vote-2
apps-android-wikipedia
📱The official Wikipedia app for Android!
array
Boost.org array module
hpmor-heb
Continously produces word and pdf releases whenever the docs at rationality.co.il change
inet-type-checking
mycroft-precise
A lightweight, simple-to-use, RNN wake word listener
ton-msig-asm-repro
Free TON Multisig Assembly Reproduction
NoamDev's Repositories
NoamDev/inet-type-checking
NoamDev/hpmor-heb
Continously produces word and pdf releases whenever the docs at rationality.co.il change
NoamDev/ton-msig-asm-repro
Free TON Multisig Assembly Reproduction
NoamDev/array
Boost.org array module
NoamDev/crypto3-algebra
=nil; Foundation's Algebraic Operations and Structures Module
NoamDev/crypto3-algebra-marshalling
Marshalling utilities for Crypto3 Algebraic Operations and Structures Module
NoamDev/crypto3-blueprint
Component module for =nil; Foundation's Zero-Knowledge Cryptography
NoamDev/crypto3-containers
NoamDev/crypto3-math
Polynomial Arithmetics, Fast Fourier Transforms for =nil; Crypto3 C++ Cryptography Suite
NoamDev/crypto3-zk
Zero-Knowledge Cryptography for =nil; Crypto3 C++ Cryptography Suite
NoamDev/crypto3-zk-marshalling
Marshalling utilities for Crypto3 Zero-Knowledge Schemes https://github.com/NilFoundation/crypto3-zk
NoamDev/ForumMagnum
The development repository for LessWrong2 and the EA Forum, based on Vulcan JS
NoamDev/glew
The OpenGL Extension Wrangler Library
NoamDev/glium
Safe OpenGL wrapper for the Rust language.
NoamDev/guess-word-bot
NoamDev/hangedman_bot
NoamDev/inet-hoas
HOAS representation for reduced polarized symmetric interaction combinator nets
NoamDev/interaction-calculus-of-constructions
A minimal proof checker.
NoamDev/kind
Temporary repository for Kind2's refactor based on HVM2
NoamDev/polarized-interaction-combinators
NoamDev/powers-of-tau
NoamDev/sic-path-net
NoamDev/SpeedTest-php
a speedtest php site
NoamDev/taylor.swift
Taylor series expansion in Swift
NoamDev/timezone-bot
NoamDev/TON-Compiler
Clang compiler for Free TON Virtual Machine
NoamDev/tor-bitcoin-graph
NoamDev/vote-saver-android
NoamDev/vote-saver-protocol
SAVER Protocol Implementation
NoamDev/vote-saver-protocol-mpc