xianshenglu / xianshenglu.github.ioView external linksLinks
Homepage
☆22Mar 3, 2023Updated 2 years ago
Alternatives and similar repositories for xianshenglu.github.io
Users that are interested in xianshenglu.github.io are comparing it to the libraries listed below
Sorting:
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Build your React.js apps by modules and dependency injecting.☆11Nov 29, 2022Updated 3 years ago
- Hindley Milner Type Inference in Rust☆12Oct 4, 2017Updated 8 years ago
- 微信小游戏minigame。这是一款京剧脸谱填色游戏。☆11Aug 19, 2019Updated 6 years ago
- 仿网易云音乐,包含管理端(admin 页面)☆10Mar 2, 2018Updated 7 years ago
- 自学前端路的一些笔记。☆14May 21, 2020Updated 5 years ago
- 🦞 A lightweight openclaw build with TypeScript.☆51Updated this week
- 原生 JavaScript 实现的懒加载库,兼容到 IE8+。☆16Nov 20, 2017Updated 8 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago
- echarts学习教程☆15Dec 9, 2022Updated 3 years ago
- react-dark-photo一款基于react17.x开发的图片预览组件,支持放大、缩小、下载、打印等功能。☆16Jun 8, 2022Updated 3 years ago
- A starter for a blog powered by Gatsby and Yuque☆16Nov 23, 2022Updated 3 years ago
- 百度智能小程序 ECharts 动态库示例☆19Aug 16, 2021Updated 4 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆21Nov 20, 2025Updated 2 months ago
- 让两个HTML元素进行同步滚动的工具☆16Dec 9, 2022Updated 3 years ago
- 《算法》第 4 版 JavaScript 实现☆19Jul 4, 2021Updated 4 years ago
- A highly experiment portable runtime☆21Apr 11, 2024Updated last year
- Interpreter of the ITGL with dynamic type inference☆21Feb 24, 2025Updated 11 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 3 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Sep 22, 2022Updated 3 years ago
- ☆31Apr 17, 2023Updated 2 years ago
- A collection of PLT researching☆29Feb 21, 2025Updated 11 months ago
- Hacker News ranked by Comment/Score ratio☆29Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- A modular and extensible frontend framework.☆29Sep 8, 2022Updated 3 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- ☆38May 16, 2025Updated 8 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Feb 3, 2026Updated last week
- git 版本控制管理指南☆31Feb 9, 2018Updated 8 years ago
- The LLVM tutorial using OCaml☆34Oct 9, 2023Updated 2 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Dec 14, 2022Updated 3 years ago
- 🚀 免费开源的 Claude 到 OpenAI API 格式转换代理服务,让您 能够在任何支持 OpenAI API 的应用中无缝使用 Claude 客户端工具,支持流式响应、Tool Calling 和动态路由。☆68Sep 6, 2025Updated 5 months ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- How to make a new language(and why we shouldn't?)☆40Aug 8, 2023Updated 2 years ago
- 初学者练习,使用原生JavaScript实现移动端简易音乐播放器,It's so cool。☆40Mar 19, 2017Updated 8 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Jul 3, 2019Updated 6 years ago