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