squidCatx's repositories
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平台自动化交易框架,量化交易框架
dybvig-three-imp
Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the section of the paper it implements. I made a few modifications to make the code work with PLT Scheme. Each file is a module that exports an evaluate function. Some of the VMs need mutable lists, so I explicitly use mcons, etc. where needed. Also, the recur macro is the same as let, so I used let instead.
free-books-Chinese-cn
已经上传到Libgen网站上的中文书籍,涵盖许多领域,各位下载请自便
Grad-School-Code
Some Code from my Grad School Courses
lambda-calculus
An introduction to the Lambda Calculus
martin-lof
papers of Per Martin Löf
plt
Programming Language Theory λΠ
practice-wasm
A WebAssembly VM with a full-featured Web UI debugger implemented in Rust.
tensorflow.rb
tensorflow for ruby
topaz
Dependently typed language that compiles to JavaScript
type-inference
The Hindley Milner Type Inference Algorithm
vue-clip
基于vue的移动端图片裁剪压缩处理
vue-numeric-input
Number input component with controls
vue-tiny-validator
Tiny form validation tool for Vue 3
vue2-chinamap
极简的vue2**地图钻取组件
weapp-components
微信小程序组件(原生) 雷达图、仪表盘、modal、颜色svg图标、瀑布流布局等