Search Results for "source code computer" - Page 54
Sort By:
Showing 15782 open source projects for "source code computer"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
1
PaaSTA
An open, distributed platform as a service
PaaSTA is a highly-available, distributed system for building, deploying, and running services using containers and Kubernetes. PaaSTA has been running production services at Yelp since 2016. It was originally designed to run on top of Apache Mesos but has subsequently been updated to use Kubernetes. Over time the features and functionality that PaaSTA provides have increased but the principal design remains the same. PaaSTA aims to take a declarative description of the services that teams... -
2
NonlinearSolve.jl
High-performance and differentiation-enabled nonlinear solvers
Fast implementations of root-finding algorithms in Julia that satisfy the SciML common interface. For information on using the package, see the stable documentation. Use the in-development documentation for the version of the documentation that contains the unreleased features. NonlinearSolve.jl is a unified interface for the nonlinear solving packages of Julia. The package includes its own high-performance nonlinear solvers which include the ability to swap out to fast direct and iterative... -
3
tlaplus
TLC is an explicit state model checker for specifications in TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
4
ProxyAI
The leading open-source AI copilot for JetBrains
ProxyAI is an open-source AI-powered coding assistant designed primarily for JetBrains IDEs, offering a highly customizable alternative to tools like GitHub Copilot while maintaining flexibility across multiple AI providers and deployment environments. It allows developers to connect to a wide range of language models, including cloud-based services and locally hosted models, enabling both online and fully offline workflows depending on user preferences. -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
Framelink MCP for Figma
MCP server enabling AI coding tools to access Figma design data
Figma-Context-MCP is an open source server that connects Figma design data with AI-powered coding tools through the Model Context Protocol (MCP). It allows coding assistants to retrieve structured information from Figma files so they can better translate visual designs into working code. Instead of relying on screenshots or manual descriptions, Figma-Context-MCP accesses layout, styling, and component metadata directly from the Figma API and presents it in a simplified format optimized for AI models. ... -
6
II Agent
A new open-source framework to build and deploy intelligent agents
II-Agent is an open-source intelligent assistant framework designed to automate complex workflows across multiple domains using large language models and external tools. The platform allows users to interact with multiple AI models within a single environment while connecting those models to external services and knowledge sources. Through a unified interface, users can switch between models, access specialized tools, and execute tasks that require information retrieval, code execution, or file analysis. ... -
7
IdeaVim
IdeaVim – A Vim engine for JetBrains IDEs
...IdeaVim can execute IDE actions directly from Vim keybindings or mappings, letting you bridge the gap between traditional Vim workflows and rich IDE functionality like refactoring, navigation, inspections, and code generation through customizable key mappings. Users can define their own .ideavimrc configuration file to tailor command behavior, source standard Vim configurations, and even hook actions from plugins. -
8
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... -
9
LibrePCB
A powerful, innovative and intuitive EDA suite for everyone
LibrePCB is a free, cross-platform, easy-to-use electronic design automation suite to draw schematics and design printed circuit boards – for makers, students, and professionals, from beginners to experts. LibrePCB is developed with portability in mind to make it run on virtually any computer – including Windows, Linux, and macOS. It’s available in 22 different languages, and it doesn’t cost any money. Simple, intuitive, well-known user-interface concepts help to get started with LibrePCB... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
opencv-mobile
The minimal opencv for Android, iOS, ARM Linux, Windows, Linux, MacOS
...We provide prebuild binary packages for opencv 2.4.13.7, 3.4.18, and 4.6.0. We also provide prebuild binary package for iOS with bitcode enabled, that the official package lacks. All the binaries are compiled from source on GitHub action, no virus, no backdoor, no secret code. -
11
Google Mobile Ads Unity Plugin
}Unity Plugin for the Google Mobile Ads SDK
The Google Mobile Ads SDK is the latest generation in Google mobile advertising featuring refined ad formats and streamlined APIs for access to mobile ad networks and advertising solutions. The SDK enables mobile app developers to maximize their monetization in native mobile apps. This repository contains the source code for the Google Mobile Ads Unity plugin. This plugin enables Unity developers to easily serve Google Mobile Ads on Android and iOS apps without having to write Java or Objective-C code. The plugin provides a C# interface for requesting ads that is used by C# scripts in your Unity project. You can help improve the Google Mobile Ads Unity plugin by opting-in to sending usage data to Google. ... -
12
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT library. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
13
Racket
The Racket repository
Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads. That is, instead of a “minimalist” language, which is the way that Scheme is often described, Racket offers a rich language with an extensive set of libraries and tools. ... -
14
Cryptol
Cryptol: The Language of Cryptography
Cryptol is a domain-specific language (DSL) for specifying and verifying cryptographic algorithms. Developed by Galois, Cryptol provides a high-level mathematical syntax for describing cryptographic primitives and enables formal verification of algorithm properties. It is used in academic, research, and defense sectors to validate correctness and security through symbolic execution and model checking, ensuring critical cryptographic code is free of design flaws. -
15
IJulia.jl
Julia kernel for Jupyter
IJulia is a Julia-language backend (kernel) for Jupyter notebooks, allowing users to write and execute Julia code interactively in browser-based notebooks. It integrates seamlessly with Jupyter’s ecosystem, supporting markdown, plotting, multimedia, and inline output. IJulia is ideal for scientific computing, data analysis, and education, combining the power of Julia with the interactive capabilities of Jupyter. -
16
ChatDBG
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
ChatDBG is an AI-assisted debugging tool that integrates large language models into standard debuggers like pdb, lldb, and gdb. It allows developers to engage in a dialog with the debugger, asking open-ended questions about their program's behavior, and provides error diagnoses and suggested fixes. -
17
Explainer.js
CLI tool to process files and output the code blocks
CLI tool to process files and output the code blocks along with explanation, using various configuration options like API key, base URL, model name, and temperature. -
18
CodiumAI Cover-Agent
CodiumAI Cover-Agent: An AI-Powered Tool for Automated Test Generation
CodiumAI Cover Agent aims to help efficiently increasing code coverage, by automatically generating qualified tests to enhance existing test suites. -
19
outline.nvim
Code outline sidebar powered by LSP
A sidebar with a tree-like outline of symbols from your code, powered by LSP. -
20
Gp.nvim
Gp.nvim (GPT prompt) Neovim AI plugin
Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..] The goal is to extend Neovim with the power of GPT models in a simple unobtrusive extensible way. Trying to keep things as native as possible - reusing and integrating well with the natural features of (Neo)vim. -
21
Gnuplot.jl
Julia interface to gnuplot
Gnuplot.jl is a simple package able to send both data and commands from Julia to an underlying gnuplot process. Its main purpose it to provide a fast and powerful data visualization framework, using an extremely concise Julia syntax. It also has automatic display of plots in Jupyter, Juno and VS Code. -
22
CausalInference.jl
Causal inference, graphical models and structure learning in Julia
Julia package for causal inference and analysis, graphical models and structure learning. This package contains code for the PC algorithm and the extended FCI algorithm, the score based greedy equivalence search (GES) algorithm, the Bayesian Causal Zig-Zag sampler and a function suite for adjustment set search. -
23
DFTK.jl
Density-functional toolkit
The density-functional toolkit, DFTK for short, is a collection of Julia routines for experimentation with plane-wave density-functional theory (DFT). The unique feature of this code is its emphasis on simplicity and flexibility with the goal of facilitating algorithmic and numerical developments as well as interdisciplinary collaboration in solid-state research. -
24
MoshiX
Extensions for Moshi including IR plugins, moshi-sealed, and more
Extensions for Moshi. Moshi is a modern JSON library for Android, Java and Kotlin. It makes it easy to parse JSON into Java and Kotlin classes. -
25
aconfig
Simple, useful and opinionated config loader
Simple, useful and opinionated config loader. There are many solutions regarding configuration loading in Go. I was looking for a simple loader that is as easy to use and understand as possible. The goal was to load config from 4 places: defaults (in the code), files, environment variables, command-line flags. This library works with all of these sources.
