j0hn50n133 Goto Github PK
Name: JohnsonLee
Type: User
Name: JohnsonLee
Type: User
Try to bring rust into pika.
程序语言与编译技术相关资料(持续更新中)
A PL0 compiler written in C.
Multi platform setup for Coq, Coq libraries and tools
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
A map to your filesystem
python100天学习资料
A NES Emulator writen in Rescript
《从头写一个RISC-V OS》课程配套的资源
A compiler and scene generator for the Scenic scenario description language.
Write You a Scheme
收集校招污点公司或组织,帮助学弟学妹避雷。互联网不曾遗忘!
My sicp exercise solutions.
My solutions of exercises in SICP.
DIY Compiler
Automated testing to find logic and performance bugs in database systems
My learning life in ECNU
Sudoku solvers in Python, Clojure, Haskell, Ruby, etc. Based on Peter Norvig's constraint propagation and search algorithm.
Tai-e assignments for static program analysis
Integrates vim-bookmarks into telescope.nvim
Collection of executors for Tint2 panel
My Implementaion
收集全国各高校招生时不会写明,却会实实在在影响大学生活质量的要求与细节
Artifacts for VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Vim motions on speed!
中文版的 MIT xv6 文档
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.