-
awesome-english-ebooks Public
Forked from hehonghui/awesome-english-ebooks经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新
CSS UpdatedJan 2, 2025 -
react-native-readium Public
Forked from 5-stones/react-native-readium📚 📖 React Native ebook reader for iOS, Android, & Web via Readium
Kotlin MIT License UpdatedDec 13, 2024 -
language-garden Public
Forked from brendanzab/language-gardenA garden of small programming language implementations 🪴
OCaml UpdatedDec 2, 2024 -
tinycc Public
Forked from TinyCC/tinyccUnofficial mirror of mob development branch
C GNU Lesser General Public License v2.1 UpdatedOct 13, 2024 -
toydb Public
Forked from erikgrinaker/toydbDistributed SQL database in Rust, written as an educational project
Rust Apache License 2.0 UpdatedSep 28, 2024 -
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 18, 2024 -
-
big-react-wasm Public
Forked from ParadeTo/big-react-wasmImplement React v18 from Scratch Using WASM and Rust
Rust UpdatedAug 23, 2024 -
-
awesome-math Public
Forked from rossant/awesome-mathA curated list of awesome mathematics resources
Python UpdatedJun 15, 2024 -
type-inference-algorithm- Public
Forked from ksrky/type-inferenceType inference algorithms for functional programming languages
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 27, 2023 -
practice-wasm Public
Forked from hemashushu/practice-wasmA WebAssembly VM with a full-featured Web UI debugger implemented in Rust.
WebAssembly Mozilla Public License 2.0 UpdatedSep 6, 2023 -
-
lambda-calculus Public
Forked from sgillespie/lambda-calculusAn introduction to the Lambda Calculus
MIT License UpdatedJun 14, 2022 -
Book-list-of-computational-geometry-and-computer-graphics Public
Forked from HW140701/Book-list-of-computational-geometry-and-computer-graphicsBook list of computational geometry and computer graphics 计算几何和计算机图形学必读书单与经典书籍
UpdatedMay 16, 2022 -
baidu-map Public
Forked from lunnlew/baidu-mapBaiduMap Vue3 GL Map Component
TypeScript MIT License UpdatedMar 23, 2022 -
-
topaz Public
Dependently typed language that compiles to JavaScript
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 20, 2021 -
vue-tiny-validator Public
Forked from frandiox/vue-tiny-validatorTiny form validation tool for Vue 3
TypeScript MIT License UpdatedMar 24, 2021 -
free-books-Chinese-cn Public
Forked from Linkeer365/free-books-Chinese-cn已经上传到Libgen网站上的中文书籍，涵盖许多领域，各位下载请自便
HTML UpdatedMar 14, 2021 -
lawvere Public
Forked from mattearnshaw/lawvereThe collected works of F. W. Lawvere
UpdatedJan 19, 2021 -
weapp-components Public
Forked from stoneNIK/weapp-components微信小程序组件（原生） 雷达图、仪表盘、modal、颜色svg图标、瀑布流布局等
JavaScript MIT License UpdatedAug 7, 2020 -
coolvui Public
Forked from xiaoshengxianjun/coolvuiA cool and dynamic UI
Vue MIT License UpdatedOct 18, 2019 -
mp-req Public
Forked from wxlite-plus/mp-req基于wx.request的高级封装
JavaScript MIT License UpdatedApr 4, 2019 -
vue-numeric-input Public
Forked from JayeshLab/vue-numeric-inputNumber input component with controls
JavaScript MIT License UpdatedFeb 5, 2019 -
91porn Public
Forked from zhaoxianjin/91porn91Porn Android 客户端，突破游客每天观看10次视频的限制，还可以下载视频
Java UpdatedJul 15, 2018 -
agda-frp-js Public
Forked from agda-attic/agda-frp-jsECMAScript back end for Functional Reactive Programming in Agda
Agda MIT License UpdatedOct 19, 2017 -
-
-
{{ message }}