Explore Projects
Discover 73 open source projects
Showing 41-60 of 73 projects
symforce-org/symforce
A fast symbolic computation library for robotics, with capabilities like code generation and nonlinear optimization.
JuliaSymbolics/Symbolics.jl
A symbolic programming library for high-performance, parallel, and symbolic computing in Julia.
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources for developers working with AI tools.
ryanoasis/powerline-extra-symbols
A library of extra glyphs and symbols for customizing your Powerline-based shell prompts and status lines.
FinanceData/FinanceDataReader
A Python library for reading financial data from various exchanges.
juliettef/IconFontCppHeaders
A collection of C/C++/C#/Python/Rust/Go headers and classes for integrating icon fonts in your applications.
sahilm/fuzzy
A Go library that provides fuzzy string matching optimized for filenames and code symbols.
JonathanSalwan/VMProtect-devirtualization
A tool for automatically deobfuscating VMProtect-protected programs using symbolic execution and LLVM.
moeiscool/Shinobi
Shinobi is an open-source CCTV and video surveillance platform written in Node.js with support for IP cameras, local cameras, and more.
ray-x/navigator.lua
A Neovim plugin that provides code analysis and navigation capabilities, empowering developers to navigate code with ease.
Viglino/ol-ext
OpenLayers extensions for animations, charts, and other interactive features
SUSYUSTC/MathTranslate
A Python library that translates scientific papers from LaTeX, especially from arXiv, to other languages.
symengine/symengine
SymEngine is a fast symbolic manipulation library written in C++ for mathematical and scientific computing.
tobefuturer/restore-symbol
A reverse engineering tool to restore stripped symbol tables for iOS apps.
LinXueyuanStdio/LaTeX_OCR_PRO
A powerful math formula OCR tool that supports handwritten, Chinese-mixed formulas and simple symbol reasoning.
cased/kit
A toolkit for building AI-powered developer tools, featuring codebase mapping, symbol extraction, and advanced code search.
justfont/open-huninn-font
An open-source traditional Chinese rounded typeface designed for better use in Taiwan.
pschanely/CrossHair
CrossHair is a static and dynamic analysis tool for Python that blends testing and type systems.
JsDaddy/ngx-mask
Angular plugin for creating masks on form fields and HTML elements
DerekSelander/dsdump
An improved command-line tool for inspecting Objective-C and Swift class structures and symbols.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.