最强前端面试资源
☆31Jul 23, 2021Updated 4 years ago
Alternatives and similar repositories for front-end-interview
Users that are interested in front-end-interview are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A repository for college students who are ready to harvest the offers~😄 We will discuss some interesting topics everyday and make progre…☆11Mar 1, 2022Updated 4 years ago
- 01 学习前端 梦开始的地方 -> 跟随开源项目JavaScript30 练习使用原生JS进行30个有趣的特效设计以及基础练习☆36Nov 17, 2021Updated 4 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆18Jul 10, 2025Updated 10 months ago
- 2023新春版：看这篇大宝典就够了！从零搭建React项目全家桶☆11Dec 14, 2022Updated 3 years ago
- ☆30Jul 29, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Apr 29, 2026Updated 2 weeks ago
- a simple virtual dom☆11Jun 9, 2019Updated 6 years ago
- 一个仿豆瓣的flutter App☆15Sep 29, 2020Updated 5 years ago
- ☆14Apr 15, 2025Updated last year
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 11 months ago
- 力扣 (LeetCode) 🐧 腾讯精选练习 50 题☆14Aug 31, 2022Updated 3 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 10 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- python日报，每天分享5篇精选python好文☆10Jun 10, 2020Updated 5 years ago
- ☆10Dec 12, 2016Updated 9 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 10 months ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 5 months ago
- Warp Refined is an agentic development environment, born out of the terminal.☆91Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆23Updated this week
- WavingSketch: An Unbiased and Generic Sketch for Finding Top-k Items in Data Streams☆15Jul 7, 2024Updated last year
- JavaScript (Node.js) serializer / deserializer with support for classes.☆18Oct 5, 2016Updated 9 years ago
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Hi, uestcers, read the community rules and start your application here. 🚀🚀🚀☆24Oct 15, 2024Updated last year
- How to read Lean☆25Jan 30, 2025Updated last year
- qv-vue是基于现有的element-plus库进行的二次封装，简化一些繁琐的操作，核心理念为数据驱动视图,主要的组件库针对table表格和form表单场景，同时衍生出更多企业常用的组件，达到高复用，容易维护和扩展的框架☆13Oct 31, 2022Updated 3 years ago
- 樱桃钨 - 让 AI 采访独立创作者及其产品，并撰写高质量访谈稿件☆37Aug 25, 2025Updated 8 months ago
- ☆22Jan 2, 2026Updated 4 months ago
- Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course☆20Oct 21, 2025Updated 6 months ago
- 基于Vite+Vue3+Ts+Vant4+Tailwind CSS+Axios+rem适配+Font Awesome的H5移动端项目模板☆24Oct 9, 2023Updated 2 years ago
- 掘金小册-React + TS + Electron 打造可视化在线简历平台☆62Oct 10, 2022Updated 3 years ago
- vue + element 中后台管理系统搜索组件☆13Jan 6, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 基于 umi 的 Ant Design 实战教程配套代码 https://www.yuque.com/ant-design/course☆16Nov 21, 2020Updated 5 years ago
- 使用react、redux编写的一个简易网页版五子棋☆22Aug 14, 2021Updated 4 years ago
- vue3源码逐行解析！☆76Jul 18, 2022Updated 3 years ago
- Nest.js 开发模板，包含三方登陆、email、阿里云短信、视频点播、对象存储、极验证等☆21Aug 24, 2022Updated 3 years ago
- Hanoi tower in Coq☆26Jan 29, 2026Updated 3 months ago
- A Lean4 plugin for the Intellij Platform☆21Mar 27, 2026Updated last month
- Vite的常用配置vite.config.js☆51Dec 10, 2021Updated 4 years ago