Explore Projects
Discover 73 open source projects
Showing 61-73 of 73 projects
form-dev/form
A C library for symbolic manipulation of very large mathematical expressions.
aesara-devs/aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
felixfbecker/php-language-server
A PHP implementation of the Language Server Protocol for IDE integrations and static code analysis.
ElectricAlexis/NotaGen
NotaGen is an AI-powered tool for generating symbolic music by leveraging large language models.
ianlancetaylor/libbacktrace
A C library that helps generate symbolic backtraces in C/C++ programs.
Mathics3/mathics-core
An open-source Mathematica Kernel written in Python with built-in functions, variables, and a parser/evaluator.
espressif/kicad-libraries
A collection of KiCad libraries for Espressif SoCs, modules, and DevKits for hardware development.
prayag17/Blink
Blink is a modern desktop client for Jellyfin, a free and open-source media server, built with Tauri and React.
Zuikyo/iOS-System-Symbols
Share iOS system framework's symbol files for symbolicating iOS crash reports.
wisk/medusa
An open source interactive disassembler written in C++ for reverse-engineering and symbolic execution.
AliveToolkit/alive2
Automatic verification of LLVM optimizations using symbolic execution and model checking
kartik-v/bootstrap-star-rating
A simple yet powerful jQuery star rating plugin with fractional rating support.
httptoolkit/react-reverse-portal
A React component library that enables reparenting elements, allowing you to move UI components dynamically.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.