Mark current symbol and jump in all matching symbols.
☆13Jan 5, 2019Updated 7 years ago
Alternatives and similar repositories for lazy-search
Users that are interested in lazy-search are comparing it to the libraries listed below
Sorting:
- 爬取王垠的博客，输出pdf文档☆14Oct 10, 2018Updated 7 years ago
- my configuration☆22Feb 19, 2026Updated 2 weeks ago
- Copy and paste anything under cursor.☆53Jun 27, 2024Updated last year
- My Emacs configuration (2015 ~ 2021)☆53Feb 7, 2024Updated 2 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 5 years ago
- OA系统☆34Jun 6, 2017Updated 8 years ago
- Highlight escape sequences in Emacs☆43Dec 14, 2020Updated 5 years ago
- Lazy load keys for speed up Emacs startup.☆38Nov 12, 2019Updated 6 years ago
- TLA+ tools for Emacs☆36Dec 14, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Common C++ client that accesses HBase cluster through HBase ThriftServer.☆20Aug 29, 2012Updated 13 years ago
- "An Introduction to Time Series Analysis with R" is a text which is currently under development and aims at giving readers a general ove…☆10Oct 1, 2021Updated 4 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Can we estimate the economic impact of EIP-1559 on miners? This repository try to estimate the loss of miners' revenue coming from transa…☆13Mar 15, 2021Updated 4 years ago
- "How To", articles on special subjects, in English or Chinese.☆11May 17, 2022Updated 3 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- Check if files in stream conflict with those in target dir, with option to use new, keep old, show diff, etc.☆22Dec 29, 2017Updated 8 years ago
- Shove scopes and tokens into .npmrc☆11Aug 2, 2021Updated 4 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- Gathery 是一款基于 PyQt5 开发的网络安全信息收集与分析工具，集成了多种实用的信息收集功能和小工具，帮助安全研究人员、渗透测试人员和网络管理员快速收集目标信息☆20Jun 22, 2025Updated 8 months ago
- 一个基于scrapy+selenium+phantomjs的爬虫程序，用于抓取多个学校的学术报告信息☆10Sep 3, 2015Updated 10 years ago
- Bazel rules that support breaking a typescript codebase into small, independently-compilable libraries. "Batteries not included".☆13Dec 2, 2022Updated 3 years ago
- https://liu.hn.cn/☆10May 21, 2019Updated 6 years ago
- 常见算法实现☆10Jan 15, 2017Updated 9 years ago
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆11Oct 18, 2021Updated 4 years ago
- add any graph structure between objects with 2 simple classes + iteration, visitation, shortest path☆12Oct 27, 2022Updated 3 years ago
- a place for your sketches☆10Mar 20, 2019Updated 6 years ago
- A Chrome extension that gives you HUD stats popups while playing on Ignition Casino.☆12Jun 6, 2021Updated 4 years ago
- 红尘后台管理 客户端代码放群共享里面 qq群: 183153579☆10May 9, 2019Updated 6 years ago
- ES6 Map Implemented in typescript☆12Jul 20, 2022Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- 基于java Instrumentation 进行热替换☆12Jan 14, 2017Updated 9 years ago
- Daily online magazine for Chinese Wikipedia☆18Aug 3, 2011Updated 14 years ago
- A source which uses result of everything (http://www.voidtools.com/) for unite.vim☆15Apr 2, 2018Updated 7 years ago
- Cooperative get-port implementation☆10Jul 10, 2022Updated 3 years ago
- notes structured as org-mode, Markdown, or LaTeX files☆10May 25, 2018Updated 7 years ago