hackers-grep is a utility to search for strings in PE executables including imports, exports, and debug symbols
Repository Index
47,133 repositories indexed
49–71 of 71 · Most stars
Get the real length of a string - by correctly counting astral symbols and ignoring ansi escape codes
Symbolic regression in seconds.
Guided code exploration for Neovim with definitions, refs, callers, tests, git, and persistent Trails from the current symbol
- code-navigation
- developer-tools
- lsp
- lua
Create symbols in Framer
This repository hosts the specification for the Cartographic Information Model
- specification
- publishing-sharing
- cartography
- desktop
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
Symbolic/concolic execution of Android apps
A better structured display of golang symbols information
- go
- lua
- neovim
- structures
PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!
tunnelvision.nvim dims unrelated lines to keep you focused on the targeted symbol.
Prettify symbols for Neovim
An SF Symbols Viewer for Swift Playgrounds on iPadOS
- ipad
- swift
- swift-playgrounds
- playground
Reexport external symbols in other packages.
eos name in string to uint64 and vice versa
- eosio
- symbol
- name
An Microsoft Visual Code extension for Golang to print symbol definition to output
Easily add Android keyboards to your Framer Studio projects with just one line of code. Keyboards include default, numbers, symbols, dialpad, and voice.
A Turing-complete programming language with only one symbol: "."
A tool to search documentation of lisp symbols in the current lisp image.
- common-lisp
- documentation
- semantic-search
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
Neovim plugin to copy the reference path of a Python symbol.
- neovim
- neovim-plugin
- python
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming