☆23Apr 7, 2022Updated 4 years ago
Alternatives and similar repositories for EnglishFlow
Users that are interested in EnglishFlow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- This Codex skill is adapted from DeepSeek Harness’s [dsh-find-simplifications](https://github.com/deepseek-ai/deepseek-harness/tree/maste…☆29Aug 18, 2026Updated 2 months ago
- A VM-based interpreter for the Lox Programming Language.☆11Dec 5, 2025Updated 11 months ago
- VDPAU backend driver for NVIDIA Tegra 20/30/114 SoCs☆16May 15, 2022Updated 4 years ago
- A rust based risc-v operating system!☆12Feb 12, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Minimalistic Vim configuration for front end/React development☆12Mar 23, 2026Updated 7 months ago
- a simple programming language under development☆11Oct 16, 2026Updated 3 weeks ago
- ☆12Aug 12, 2021Updated 5 years ago
- 洛佳的异步内核实验室，第二版☆13Jul 16, 2021Updated 5 years ago
- Render math expression with typst markup language in Telegram☆10Apr 27, 2026Updated 6 months ago
- C-like language compiler, the final project of ZJU Compiler Principle course☆42Oct 9, 2022Updated 4 years ago
- Stanford CS 110L : Safety in Systems Programming☆11Mar 8, 2021Updated 5 years ago
- Offline dictionary with REPL, API server and GUI, supporting open formats, for Linux.☆17Dec 4, 2025Updated 11 months ago
- ☆11Dec 5, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- A toy C Compiler implemented by Rust.☆19Feb 4, 2023Updated 3 years ago
- A VSCode plugin for syntax highlighting support for the MLIR affine dialect☆10Apr 30, 2020Updated 6 years ago
- A small command line system information tool written in Rust☆10Jul 2, 2024Updated 2 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- 记录个人学习 Ruby 的过程☆11Dec 5, 2015Updated 10 years ago
- 面向开发者的 Prompt Engineering 教程(ChatGPT Prompt Engineering for Developers)☆17May 3, 2023Updated 3 years ago
- ☆14Apr 4, 2024Updated 2 years ago
- SIEVE is simpler than LRU☆15Apr 29, 2024Updated 2 years ago
- ☆14Apr 27, 2020Updated 6 years ago
- A blog of Programming Languages Group @Purdue☆12Oct 26, 2026Updated last week
- ☆11Feb 6, 2021Updated 5 years ago
- c minus language implement by rust☆23Oct 26, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- Allows /vendor to be modified to allow LTE and VoLTE on Pixel 3/xl on Chinese Carriers☆20Feb 17, 2020Updated 6 years ago
- An interface for works with gorilla mux☆13Feb 15, 2024Updated 2 years ago
- Versatile parser for arithmetic expressions☆11Updated this week
- 用于Rust编程后花园交流群发帖讨论交流☆16Nov 24, 2021Updated 4 years ago
- 旨在提供一站式的 Rust 学习资源☆15Jan 24, 2023Updated 3 years ago
- A single value thread-safe cache for any value type.☆13Nov 16, 2025Updated 11 months ago