
- All languages
- ATS
- Agda
- C
- C#
- C++
- CSS
- CoffeeScript
- Coq
- Cuda
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Factor
- Forth
- HTML
- Haskell
- J
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Lean
- Lua
- M4
- Makefile
- Nix
- OCaml
- Objective-C
- Prolog
- PureScript
- Python
- Raku
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- Vim Script
- Zig
- q
Starred repositories
Scriptable database and system performance benchmark
Safe API for manipulating LMDB databases using OpenResty/Lua.
lua-resty-ffi provides an efficient and generic API to do hybrid programming in openresty/envoy with mainstream languages (Go, Python, Java, Rust, Nodejs, etc.).
Embed the Power of Lua into NGINX HTTP servers
NeoVim lua plugin that annotates source code with profiling information from perf, LuaJIT, or other profilers.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Debug adapter for Neovim plugins
libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…
relation query language, with typed embedding into OCaml
A blazingly fast, stunningly beautiful, exceptionally powerful git branch viewer for Vim/Neovim.
Compact garbage-collected heap and JSON-like object model
zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems
Neovim file explorer: edit your filesystem like a buffer
Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
⚡ A new cd command that helps you navigate faster by learning your habits.
A massively parallel, optimal functional runtime in Rust