Pinned Repositories
91porn
91Porn Android 客户端，突破游客每天观看10次视频的限制，还可以下载视频
agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
awesome-math
A curated list of awesome mathematics resources
baidu-map
BaiduMap Vue3 GL Map Component
big-react-wasm
Implement React v18 from Scratch Using WASM and Rust
Book-list-of-computational-geometry-and-computer-graphics
Book list of computational geometry and computer graphics 计算几何和计算机图形学必读书单与经典书籍
CoinTrader
OKX平台自动化交易框架，量化交易框架
comonadUIwithReact
coolvui
A cool and dynamic UI
squidCatx's Repositories
squidCatx/91porn
91Porn Android 客户端，突破游客每天观看10次视频的限制，还可以下载视频
squidCatx/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
squidCatx/awesome-math
A curated list of awesome mathematics resources
squidCatx/baidu-map
BaiduMap Vue3 GL Map Component
squidCatx/big-react-wasm
Implement React v18 from Scratch Using WASM and Rust
squidCatx/Book-list-of-computational-geometry-and-computer-graphics
Book list of computational geometry and computer graphics 计算几何和计算机图形学必读书单与经典书籍
squidCatx/CoinTrader
OKX平台自动化交易框架，量化交易框架
squidCatx/comonadUIwithReact
squidCatx/coolvui
A cool and dynamic UI
squidCatx/free-books-Chinese-cn
已经上传到Libgen网站上的中文书籍，涵盖许多领域，各位下载请自便
squidCatx/lambda-calculus
An introduction to the Lambda Calculus
squidCatx/lawvere
The collected works of F. W. Lawvere
squidCatx/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
squidCatx/language-garden
A garden of small programming language implementations 🪴
squidCatx/learngit
squidCatx/martin-lof
papers of Per Martin Löf
squidCatx/mp-req
基于wx.request的高级封装
squidCatx/mvvm
剖析vue实现原理，自己动手实现mvvm
squidCatx/plt
Programming Language Theory λΠ
squidCatx/practice-wasm
A WebAssembly VM with a full-featured Web UI debugger implemented in Rust.
squidCatx/tinycc
Unofficial mirror of mob development branch
squidCatx/topaz
Dependently typed language that compiles to JavaScript
squidCatx/toydb
Distributed SQL database in Rust, written as an educational project
squidCatx/type-inference
The Hindley Milner Type Inference Algorithm
squidCatx/type-inference-algorithm-
Type inference algorithms for functional programming languages
squidCatx/vue-clip
基于vue的移动端图片裁剪压缩处理
squidCatx/vue-numeric-input
Number input component with controls
squidCatx/vue-tiny-validator
Tiny form validation tool for Vue 3
squidCatx/vue2-chinamap
极简的vue2**地图钻取组件
squidCatx/weapp-components
微信小程序组件（原生） 雷达图、仪表盘、modal、颜色svg图标、瀑布流布局等