mike coursera stduy note
☆14Jan 28, 2021Updated 5 years ago
Alternatives and similar repositories for coursera
Users that are interested in coursera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Completed codelabs from the gRPC project.☆13Oct 28, 2025Updated 8 months ago
- 一个使用 ntex 和 Yew 写的博客项目☆31Jul 23, 2024Updated 2 years ago
- ☆17Jul 2, 2025Updated last year
- I'm learning network programming in C/C++ with using of multiplexing, multiprocessing or multithreading features available in Debian (and…☆18Sep 19, 2017Updated 8 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Forming, is a lightweight architecture as code language. 轻量级架构即代码语言☆26Feb 22, 2024Updated 2 years ago
- on-disk hash table(mainly for WAL).☆30Sep 10, 2023Updated 2 years ago
- Go full-stack playground: Gin, Kratos, gRPC, distributed crawler and concurrency patterns☆40Jul 14, 2026Updated last week
- [译] ApacheCN 计算机系统译文集☆23Jul 7, 2022Updated 4 years ago
- compile lua fucntion to computer code just in time.☆12Jul 10, 2020Updated 6 years ago
- 这是为游戏隐迹渐现（pentiment）设计的双语字幕补丁。/ This is a bilingual subtitles patch designed for the game "Pentiment".☆16Feb 5, 2024Updated 2 years ago
- UCB-CS61C project3 : RISC-V CPU design☆11Mar 19, 2023Updated 3 years ago
- Golang & Python solutions for LeetCode algorithm problems☆21Sep 25, 2023Updated 2 years ago
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 7 months ago
- Parser library for SQLite storage format in Rust☆19Mar 3, 2023Updated 3 years ago
- The translation workplace of ALC Beijing☆42May 21, 2025Updated last year
- ☆14May 2, 2023Updated 3 years ago
- TPCH benchmark tool for databend☆11Nov 15, 2022Updated 3 years ago
- LaTeX 讲座资料☆11Apr 7, 2022Updated 4 years ago
- For beginners who want to try Deno（写给想尝试Deno的新人）☆79May 12, 2020Updated 6 years ago
- gdb pretty printer for llvm's libcxx☆11Mar 9, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Mar 3, 2020Updated 6 years ago
- a Lisp-like functional language with flexible suspension and resumption☆15Apr 7, 2026Updated 3 months ago
- Simple diff written in Python☆14Dec 24, 2017Updated 8 years ago
- A lightweight Lua httpserver for easy webservices developping.☆10Mar 30, 2015Updated 11 years ago
- Official repository for Databend documentation☆17Jul 18, 2026Updated last week
- Qt Documentation in CHM format☆11Oct 8, 2016Updated 9 years ago
- explore and practice☆13Apr 24, 2016Updated 10 years ago
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- Docs and example apps for kea☆13Apr 8, 2022Updated 4 years 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.
- A fancy book template full of ink perfume.☆16Jul 2, 2019Updated 7 years ago
- A place where you can store clipboards☆14Oct 13, 2023Updated 2 years ago
- A basic Backbone boilerplate, configured with Webpack, Karma/Mocha+Chai/Webio+Cucumber, with support for ES6.☆11Jun 21, 2015Updated 11 years ago
- 🎮 在游戏里，你将扮演一台计算机的操作系统，你必须管理进程、内存和 I/O 事件，合理分配资源，一旦进程死亡太多，你就重启了，游戏失败☆111Aug 14, 2023Updated 2 years ago
- HTTP method override middleware for koa☆13May 30, 2018Updated 8 years ago
- A tool to measure the round-trip time and bandwidth of a TCP connection with different methods.☆16Sep 19, 2015Updated 10 years ago
- Lean4中文教程☆37Feb 2, 2025Updated last year