An application of terminal write leetcode.一个终端刷力扣的应用。
☆19Jul 27, 2025Updated 11 months ago
Alternatives and similar repositories for lcode
Users that are interested in lcode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Jun 18, 2026Updated last week
- some 3D animation in neovim☆13Oct 30, 2023Updated 2 years ago
- Lean 函数式编程☆45Dec 17, 2025Updated 6 months ago
- a neovim plugin that change type character to other characters accroding rules and filter.☆46Aug 10, 2023Updated 2 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆21Updated this week
- 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.
- 🦓 Make neovim buffer striped☆18Oct 26, 2024Updated last year
- A systematic introduction to Vision Language Action (VLA) models for beginners☆60Mar 23, 2026Updated 3 months ago
- Hindley–Milner type inference implemented in Python.☆12Jun 7, 2023Updated 3 years ago
- 轻量级 Telegram QQ 转发机器人☆15Sep 26, 2021Updated 4 years ago
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆28Feb 18, 2026Updated 4 months ago
- Prune is a constraint logic programming language with branching heuristic.☆38Jun 11, 2026Updated 2 weeks ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- Very simple and minimal autocompletion for cmdline and buffer using LSP and Tree-sitter with signature help☆59Mar 13, 2025Updated last year
- poor man's docker. docker的拙劣模仿☆16Jul 25, 2023Updated 2 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.
- Haskell port of AtCoder Library (ACL) + many Extra modules☆20Jun 22, 2026Updated last week
- A task launcher plugin for neovim allowing dynamic task configuration per directory, with optional support for debugging☆50Jul 6, 2025Updated 11 months ago
- Linux io_uring based c++ 20 coroutine library☆28Jun 21, 2022Updated 4 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆37Oct 21, 2021Updated 4 years ago
- A lightweight neovim plugin for pinning fragments of code to the screen.☆49Jul 20, 2023Updated 2 years ago
- ☆19Sep 9, 2025Updated 9 months ago
- A simple, fancy tabline for Neovim.☆95Aug 11, 2024Updated last year
- Command line recycle bin.☆37Mar 8, 2026Updated 3 months ago
- Haskell User's Gofer System☆28Apr 14, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- forked from hlchunk.nvim and removed indent. only chunk and context, simple and faster.☆28Jan 10, 2025Updated last year
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- A tree-walker && virtual-machine && JIT interpreter for Lox language☆30May 3, 2024Updated 2 years ago
- A TUI for MongoDB.☆68Jan 23, 2026Updated 5 months ago
- Copy and paste with system clipboard using wl-clipboard☆11Jan 11, 2023Updated 3 years ago
- This implementation automates reporting to verify compliance with GC Cloud Guardrails. SSC and TBS review the results. Cette mise en œuvr…☆14Updated this week
- A simple theme based on anime for sddm☆27Jun 16, 2022Updated 4 years ago
- Send files to running Neovim sessions using nvim-ctrl☆10Jan 11, 2023Updated 3 years ago
- Built-In zellij user interfaces☆15May 19, 2024Updated 2 years 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.
- 🗑️ rm alternative written in Go.☆13Jun 9, 2026Updated 3 weeks ago
- zsh dependency manager 🐚 💎☆11Feb 9, 2024Updated 2 years ago
- Lean 定理证明☆25Dec 28, 2025Updated 6 months ago
- not infinite, but huge canvas collaborative vector drawing program☆13Oct 28, 2018Updated 7 years ago
- Source code for the Mathematics in Lean tutorial.☆198Jun 21, 2026Updated last week
- 在cs2利用各种CFG触发方式实现各种功能☆21Nov 28, 2024Updated last year
- Native lsp types for rust☆41Feb 20, 2024Updated 2 years ago