Search Results for "gnu/linux" - Page 4
Sort By:
Showing 17428 open source projects for "gnu/linux"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
2
Symbolics.jl
Symbolic programming for the next generation of numerical software
Symbolics.jl is a high-performance symbolic computation library for the Julia programming language. It enables users to define, manipulate, and analyze mathematical expressions symbolically, with strong support for symbolic differentiation, simplification, equation solving, and code generation. Designed for use in scientific computing, machine learning, and engineering, Symbolics.jl integrates smoothly with Julia’s numerical ecosystem, allowing symbolic expressions to be compiled and... -
3
JAX
Composable transformations of Python+NumPy programs
With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and... -
4
Plausible Analytics
Simple, open-source, lightweight and privacy-friendly web analytics
Plausible is lightweight and open-source web analytics. No cookies and fully compliant with GDPR, CCPA and PECR. Made and hosted in the EU, powered by European-owned cloud infrastructure. Frustrated with Google Analytics? So are we and that's why we built Plausible Analytics, a simple, lightweight (< 1 KB), open source, and privacy-friendly alternative that doesn't come from the adtech world. Web analytics went from a simple, fun and useful practice for site owners to a data-grabbing machine... -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
ESP8266Audio
Arduino library to play MOD, WAV, FLAC, MIDI, RTTTL, MP3
Arduino library for parsing and decoding MOD, WAV, MP3, FLAC, MIDI, AAC, and RTTL files and playing them on an I2S DAC or even using a software-simulated delta-sigma DAC with dynamic 32x-128x oversampling. ESP8266 is fully supported and most mature, but ESP32 is also mostly there with built-in DAC as well as external ones. For real-time, autonomous speech synthesis, check out ESP8266SAM, a library that uses this one and a port of an ancient format-based synthesis program to allow your... -
6
MCM-ICM
Mathematical Contest resources
MCM-ICM is a curated archive of Outstanding Winner (“O-奖/特等奖”) solution papers from the Mathematical Contest in Modeling and the Interdisciplinary Contest in Modeling, spanning the early 2000s through recent years. The repository is organized by year, with per-year folders that collect the top-ranked reports and, in later years, additional materials such as problem statements or problem notes when available. It has evolved from a single-maintainer project into a collaborative effort, with... -
7
Perceval
An open source framework for programming photonic quantum computers
An open-source framework for programming photonic quantum computers. Through a simple object-oriented Python API, Perceval provides tools for composing circuits from linear optical components, defining single-photon sources, manipulating Fock states, running simulations, reproducing published experimental papers and experimenting with a new generation of quantum algorithms. It aims to be a companion tool for developing photonic circuits – for simulating and optimizing their design, modeling... -
8
CGAL
The Computational Geometry Algorithms Library
CGAL or the Computational Geometry Algorithms Library is a C++ library that gives you easy access to a myriad of efficient and reliable geometric algorithms. These algorithms are useful in a wide range of applications, including computer aided design, robotics, molecular biology, medical imaging, geographic information systems and more. CGAL features a great range of data structures and algorithms, including Voronoi diagrams, cell complexes and polyhedra, triangulations, arrangements of... -
9
Violin
Open-source Video Translation Skill
Violin is an open-source video translation and dubbing tool that turns existing videos into localized versions with translated voice-over and optional subtitles. It transcribes the original speech, translates the text, generates natural-sounding speech in the target language, and remuxes the new audio back into the video. The project is designed to keep the generated speech aligned with the original timing so the final result feels closer to a real dubbed video. It can be used from the... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
TinyGSM
A small Arduino library for GSM modules, that just works
A small Arduino library for GSM modules that just works. This library is easy to integrate with lots of sketches that use Ethernet or WiFi. PubSubClient (MQTT), Blynk, HTTP Client, and File Download examples are provided. Arduino GSM library uses 15868 bytes (49%) of Flash and 1113 bytes (54%) of RAM in a similar scenario. TinyGSM also pulls data gently from the modem (whenever possible), so it can operate on very little RAM. Now, you have more space for your experiments. TCP (HTTP, MQTT,... -
11
Open Source Text to CAD Harness
An open source harness for generating CAD models
Open Source Text to CAD Harness is an open-source framework that enables the generation of parametric 3D CAD models using natural language prompts interpreted by AI coding agents. It acts as a harness that converts text descriptions into source-controlled CAD scripts, which are then compiled into geometric models using tools like OpenCascade and build123d. The system emphasizes reproducibility by storing CAD logic as editable code rather than opaque binary files, allowing iterative... -
12
TRIP
Minimalist POI Map Tracker and Trip Planner
TRIP is a self-hosted, minimalist trip planner and map-based tracker built for people who want a simple way to visualize points of interest and organize travel details without ads, telemetry, or account-driven tracking. At its core, it lets you create and manage POIs directly on interactive maps, turning the planning process into something spatial and visual rather than a list buried in notes. It supports multi-day trip planning with detailed itineraries, which helps you move from “pins on a... -
13
The Missing Semester
The Missing Semester of Your CS Education
The Missing Semester is a course and repository that teaches the engineering skills often skipped in traditional computer science curricula: command-line fluency, shell scripting, editors, version control, debugging, data wrangling, and automation. It includes lecture notes, exercises, and sample solutions that encourage hands-on practice rather than passive reading. The curriculum demystifies tools like bash, vim, git, and make, showing how to combine them into efficient workflows that... -
14
...Its syntax is a combination of c (curly brackets for blocks of statement, some statements) and fortran/matlab (c) (indexing of arrays starts from 1, naming of the functions). Project rlabplus provides second update to RLaB2 and third release RLaB3 of the environment for 32- and 64-bit linux systems.
-
15
Translation Agent
Agentic translation using reflection workflow
Translation Agent is a Python demonstration of an agentic translation workflow that uses reflection to improve machine translation quality. Instead of asking a language model for a single direct translation, it first generates a translation, then asks the model to critique it, and finally uses that critique to produce a stronger version. This structure makes the system more steerable than a traditional translation pipeline. Users can adjust prompts to control tone, formality, terminology,... -
16
OpenRocket
Model-rocketry aerodynamics and trajectory simulation software
OpenRocket is a free and fully featured simulation software for designing, analyzing, and optimizing model rockets before physical construction and launch. It provides a comprehensive environment where users can assemble rocket components, visualize designs in both 2D and 3D, and simulate flight behavior using accurate aerodynamic and physics models. The software incorporates six-degree-of-freedom flight simulation, allowing it to model real-world dynamics such as stability, drag, thrust,... -
17
ControlSystems.jl
A Control Systems Toolbox for Julia
ControlSystems.jl is a Julia toolbox for control systems design and analysis, offering models in transfer-function and state-space representations, enabling construction of complex systems, simulation in time and frequency domains, and performance/stability evaluation. This toolbox works similar to that of other major computer-aided control systems design (CACSD) toolboxes. Systems can be created in either a transfer function or a state space representation. These systems can then be... -
18
Manyfold
A self-hosted digital asset manager for 3d print files
Manyfold is an open-source 3D collaboration platform that reimagines how distributed teams and communities can meet, create, and interact in immersive spatial environments through the web. Instead of forcing users to download native apps or create accounts on closed metaverse services, Manyfold runs entirely in the browser, letting people join 3D spaces with simple links and participate in real time using avatars, voice chat, and object interaction. Users can build or import shared 3D... -
19
NVIDIA Isaac Sim
NVIDIA Isaac Sim is an open-source application on NVIDIA Omniverse
NVIDIA Isaac Sim is a high-fidelity robotics simulation platform built on NVIDIA Omniverse to develop, test, and validate AI-driven robots in physically accurate virtual environments. It supports a wide array of robotics formats (URDF, MJCF, CAD), includes GPU-accelerated physics, and features immersive RTX rendering and multisensory simulation. Realistic physics via GPU-accelerated engines and RTX ray tracing. Multi-sensor simulation (RGB-D cameras, Lidar, Radar, IMU, contact sensors).... -
20
PaperQA2
High accuracy RAG for answering questions from scientific documents
PaperQA2 is a package for doing high-accuracy retrieval augmented generation (RAG) on PDFs or text files, with a focus on the scientific literature. See our recent 2024 paper to see examples of PaperQA2's superhuman performance in scientific tasks like question answering, summarization, and contradiction detection. In this example we take a folder of research paper PDFs, magically get their metadata - including citation counts and a retraction check, then parse and cache PDFs into a... -
21
City Map Poster Generator
Transform your favorite cities into beautiful, minimalist designs
maptoposter is a code-driven poster generator that turns any city into a minimalist, print-style map artwork with consistent typography and themed color palettes. It is built around a simple command-line flow where you pass a city and country, and the tool fetches the relevant map geometry and renders it into a clean composition that looks like a design product rather than a raw GIS export. The repository includes a library of predefined themes that change the overall look (for example,... -
22
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear... -
23
Selenium-python Helium
Selenium-python but lighter: Helium is the best Python library
Under the hood, Helium forwards each call to Selenium. The difference is that Helium's API is much more high-level. In Selenium, you need to use HTML IDs, XPaths and CSS selectors to identify web page elements. Helium on the other hand lets you refer to elements by user-visible labels. As a result, Helium scripts are typically 30-50% shorter than similar Selenium scripts. What's more, they are easier to read and more stable with respect to changes in the underlying web page. Selenium-python... -
24
WS2812FX
WS2812 FX library for Arduino and ESP8266
This library features a variety of blinken effects for the WS2811/WS2812/NeoPixel LEDs. It is meant to be a drop-in replacement for the Adafruit NeoPixel library with additional features. You can search for WS2812FX in the Arduino IDE Library Manager or install the latest (or development) version manually. More complex effects can be created by dividing your string of LEDs into segments (up to ten) and programming each segment independently. Use the segment() function to program each... -
25
Saladict
Pop-up dictionary and page translator with multiple search modes
All-in-one professional pop-up dictionary and page translator which supports multiple search modes, page translations, new word notebook and PDF selection searching. Saladict supports mixed use of multiple search modes. Whether it be single-click, double-click, pop-up icon, hovering or keyboard shortcuts, you name it. The combination of dictionaries is dynamically adjusted according to search text and Saladict profile. Although Saladict is built for looking up English words, it also supports...
