Pinned Repositories
aiifabbf.github.com
Benjamin Shi's blog. Full front-end rendering. Write in reStructuredText or Jupyter Notebook.
ascii-hub
ASCII-HUB: A (To-be?) Place to Draw and Share ASCII Widgets
asciiflow
ASCIIFlow
Calculating_ln_x
以给定任意精度计算ln(x) Calculating ln(x) with any precision
dafleet
DafLeet: Verifying Leetcode Problems in Dafny
routesim2
EECS-340 routing project, rewritten in Python
sitelen-asuki
sitelen pona ASCII art
verified-algorithms
Verified algorithms with tools like Dafny
vickrey-on-ethereum-frontend
a simple frontend to guide the vickrey auctions of ERC-721 tokens on Ethereum.
334f21
Nangos's Repositories
Nangos/sitelen-asuki
sitelen pona ASCII art
Nangos/verified-algorithms
Verified algorithms with tools like Dafny
Nangos/dafleet
DafLeet: Verifying Leetcode Problems in Dafny
Nangos/routesim2
EECS-340 routing project, rewritten in Python
Nangos/vickrey-on-ethereum-frontend
a simple frontend to guide the vickrey auctions of ERC-721 tokens on Ethereum.
Nangos/aiifabbf.github.com
Benjamin Shi's blog. Full front-end rendering. Write in reStructuredText or Jupyter Notebook.
Nangos/ascii-hub
ASCII-HUB: A (To-be?) Place to Draw and Share ASCII Widgets
Nangos/asciiflow
ASCIIFlow
Nangos/Calculating_ln_x
以给定任意精度计算ln(x) Calculating ln(x) with any precision
Nangos/evm_hook_test
A simple program to hook while running smart contracts on the EVM
Nangos/geth-replay
Tool used to collect trace from tracer-geth
Nangos/hello-world
hhh
Nangos/hough
Linear Hough Transformation in C++
Nangos/HPSS
Adam Szaruga's HPSS Functions
Nangos/hw7-gradient-descent
Nangos/mockbrython
Mock brython functions for local testing and debugging.
Nangos/nimi-nasa
a fun demo: how to name ___ in toki pona
Nangos/projects
Nangos/protocol-v2
Aave Protocol V2
Nangos/py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
Nangos/SA_TSP
用模拟退火算法解决旅行商问题
Nangos/trpl-zh-cn
Rust 程序设计语言（第二版 & 2018 edition）
Nangos/Vertical-Number-Puzzle
竖式谜题自动求解及题目生成 Automatical solving of vertical calculation puzzles and puzzle generation