Pinned Repositories
ArenAI-deploy
cli
Dev server, hot reload, and packaging tool for Dioxus apps. Includes VSCode Extension
frictune
link things with tabs, link tabs with ? (in progress)
guide
how-web-works
What happens behind the scenes when we type www.google.com in a browser?
hw-activerecord-practice
Practice with ActiveRecord using RSpec
hw-sinatra-saas-wordguesser
Wordguess: a scaffolded (!) ESaaS getting-started assignment using Sinatra
kotlin-aoc-solutions
my solutions to Advent of Code contest, excluding those not built with Kotlin
peb
the first attempt to deploy a personal blog
sat-explain
source code for a (slightly) interactive tutorial on SAT solving
iscas-zac's Repositories
iscas-zac/sat-explain
source code for a (slightly) interactive tutorial on SAT solving
iscas-zac/ArenAI-deploy
iscas-zac/cli
Dev server, hot reload, and packaging tool for Dioxus apps. Includes VSCode Extension
iscas-zac/frictune
link things with tabs, link tabs with ? (in progress)
iscas-zac/guide
iscas-zac/how-web-works
What happens behind the scenes when we type www.google.com in a browser?
iscas-zac/hw-activerecord-practice
Practice with ActiveRecord using RSpec
iscas-zac/hw-sinatra-saas-wordguesser
Wordguess: a scaffolded (!) ESaaS getting-started assignment using Sinatra
iscas-zac/kotlin-aoc-solutions
my solutions to Advent of Code contest, excluding those not built with Kotlin
iscas-zac/learn-wgpu-zh
Learn wgpu 中文版 (for PR purpose)
iscas-zac/lingrow
iscas-zac/mini_Java2C
a limited java to C converter
iscas-zac/my-slidev-library
Created with StackBlitz ⚡️
iscas-zac/peb
the first attempt to deploy a personal blog
iscas-zac/pdfium-binaries
📰 a fork of bblanchon/pdfium-binaries to build statically linked .so for arm64
iscas-zac/rCore-Tutorial-Checker-2023A
iscas-zac/rust-course
fork of rust-cource
iscas-zac/SPF
fork of Symbolic PathFinder, used to research its ability
iscas-zac/storyteller
Telling stories about how code evolves
iscas-zac/trustchain-superapp
Kotlin implementation of Trustchain and IPv8 with rich networking: multihoming of local Bluetooth+4G, decentral social networking, UDP hole punching, etc.
iscas-zac/watlings
Learn WebAssembly by writing small programs!