Explore Projects
Discover 73 open source projects
Showing 1-20 of 73 projects
google/material-design-icons
Official Google Material Design icons for Android, iOS, and web.
dottxt-ai/outlines
Structured Outputs is a Python library focused on building generative AI systems with prompts, LLMs, and symbolic AI.
noah-nuebling/mac-mouse-fix
A utility to improve mouse behavior on Mac by remapping scrolling, customizing mouse events, and enhancing smooth scrolling.
rebassjs/rebass
A React UI component library with a focus on design systems and style-driven development.
JerBouma/FinanceDatabase
This is a comprehensive financial database with 300,000+ symbols including equities, currencies, and cryptocurrencies.
gorgonia/gorgonia
Gorgonia is a Go library that helps facilitate machine learning and deep learning development.
facebook/fishhook
A library that enables dynamically rebinding symbols in Mach-O binaries running on iOS.
trailofbits/manticore
Manticore is a symbolic execution tool for analyzing the behavior of binary programs, smart contracts, and more.
cea-sec/miasm
A reverse engineering framework in Python with assembler, disassembler, emulator, and symbolic execution capabilities.
MilesCranmer/PySR
High-performance symbolic regression library for Python and Julia, with support for explainable AI.
google/ksp
Kotlin Symbol Processing API (KSP) is a compiler plugin for Kotlin that provides a modern API for processing Kotlin source code.
klee/klee
KLEE is a symbolic execution engine for C/C++ programs, useful for software testing and analysis.
loic-sharma/BaGet
A lightweight NuGet and symbol server for .NET developers to manage their package dependencies.
gabrielelana/awesome-terminal-fonts
A collection of tools and instructions on how to use awesome symbols in a terminal with a monospace font.
cksystemsteaching/selfie
An educational software system for learning about compilers, emulators, and hypervisors using RISC-V.
Hedgehog-Computing/hedgehog-lab
A powerful open-source scientific computing environment for JavaScript with GPU acceleration, TeX support, and data visualization.
sagemath/sage
SageMath is a free open-source mathematics software system built on top of Python, providing a comprehensive environment for symbolic and numerical computations.
Zxilly/go-size-analyzer
A Go-based tool for analyzing the size and dependencies of compiled Go binaries.
arthurfiorette/proposal-try-operator
A proposal to bring ergonomic, inline error handling to JavaScript through a new try operator.
WassimTenachi/PhySO
A Python library for physical symbolic optimization, combining deep learning and reinforcement learning.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.