Search Results for "github-copilot"
Sort By:
Showing 517 open source projects for "github-copilot"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
LeanCopilot integrates large language models (LLMs) as copilots for theorem proving in the Lean proof assistant. It assists users by suggesting tactics, premises, and searching for proofs, thereby enhancing the efficiency of formal verification processes. LeanCopilot supports both built-in models from LeanDojo and custom models, offering flexibility for various use cases. -
2
Chromium
The official GitHub mirror of the Chromium source
...As we add support for multiple coding IDE/agents, we will likely pull common prompts and instructions into a central directory with stubs for bespoke IDE/agent integration. Please check with your organization before using GitHub Copilot. copilot-intructions.md is typically a single instruction file that contains default instructions for a workspace. These instructions are automatically included in every chat request. -
3
WSL
Windows Subsystem for Linux
WSL is Microsoft's compatibility layer—now open source—that allows Linux binaries (CLI and GUI) to run natively on Windows without a VM. WSL 1 handles syscall translation; WSL 2 uses a lightweight VM with full Linux kernel, enabling full Linux compatibility, improved I/O, GPU acceleration, and support for distributions like Ubuntu, Debian, Kali, etc. -
4
Telegram Desktop
Telegram Desktop messaging app
Telegram Desktop is the official C++/Qt-based cross-platform client for Telegram, implementing the full Telegram API and MTProto protocol for secure messaging, voice/video calls, file sharing, and chat features. It provides message sync across devices, supports themes, stickers, bots, and is actively maintained. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
w64devkit
Portable C and C++ Development Kit for x64 (and x86) Windows
...Separate builds support x64 and x86 systems, including older Windows targets. Developers can download prepared archives or reproduce and customize the toolchain through Docker or GitHub Actions. -
6
ModernCppStarter
Kick-start your C++! A template for modern C++ projects
...This template is the result of learnings from many previous projects and should help reduce the work required to setup up a modern C++ project. Installable target with automatic versioning information and header generation via PackageProject.cmake. Automatic documentation and deployment with Doxygen and GitHub Pages. Eventually, you can remove any unused files, such as the standalone directory or irrelevant github workflows for your project. Feel free to replace the License with one suited for your project. To keep the template modular, all subprojects derived from the library have been separated into their own CMake modules. This approach makes it trivial for third-party projects to re-use the projects library code. -
7
Windows Calculator
A simple yet powerful calculator that ships with Windows
...It is a modern Windows app written in C++ and C#, offering standard, scientific, and programmer modes, unit/currency conversion, date calculations, and history/memory operations. It ships preinstalled with Windows and is actively developed on GitHub. Standard Calculator functionality, which offers basic operations and evaluates commands immediately as they are entered. Scientific Calculator functionality, which offers expanded operations and evaluates commands using the order of operations. Programmer Calculator functionality, which offers common mathematical operations for developers, including conversion between common bases. -
8
Strawberry Music Player
Strawberry Music Player
...With Strawberry you can play and manage your digital music collection, or stream your favorite radios. Strawberry is free software released under GPL. The source code is available on GitHub. Strawberry is a fork of Clementine. It's written in C++ using the Qt toolkit and GStreamer. Strawberry is compatible with both Qt version 5 and 6. -
9
Glslang
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL
...Basic operation is to give it a file containing a shader, and it will print out warnings/errors and optionally an AST. Instead of building manually, you can also download the binaries for your platform directly from the master-tot release on GitHub. Those binaries are automatically uploaded by the build bots after successful testing and they always reflect the current top of the tree of the master branch. Right now, there are two test harnesses existing in glslang: one is Google Test, one is the runtests script. The former runs unit tests and single-shader single-threaded integration tests, while the latter runs multiple-shader linking tests and multi-threaded tests. ... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
EKA2L1
An experimental Symbian OS emulator
...It can already boot many EKA1 and EKA2 apps. For more discussion and support, please visit our Discord server. Artifacts for Windows, OSX, Linux and Android are provided through Github Actions. Click on the Releases section to get the newest stable build. Compatibility for the games and software that can (and can't) run on the emulator can be verified. -
11
PDF4QT
Open source PDF editor
...For developers, there is a C++ library and a command line tool for use in scripts. For users, there are four applications offering many features. The project is hosted on Github and uses the license LGPLv3. The applications are primarily used by target users to view, edit, manipulate or compare PDF documents. Users can preview these applications in the screenshots section of this webpage. Basic browsing and lots of other functionalities, such as encryption, reading a document, verification of digital signatures, editing of annotations, searching for text using regular expressions, drawing pages into an image, and much more. ... -
12
Arduino libraries
Arduino libraries and code
...Most of them include example code on how the libraries can be used. Furthermore, this repository contains a few stand-alone applications. For bugs in the libraries, please fill in an issue in Github as that makes it far easier to track them. If possible provide a minimal code snippet that exposes the bug. Add information about the platform used and version etc. Also, proposals for solutions are welcome. For improvements and changes, please provide a pull request. I will try to follow up on them asap but it can take quite some time. ... -
13
KeePassXC
KeePassXC is a cross-platform community-driven port
...You can expect a seamless experience no matter which operating system you are using. The full source code is published under the terms of the GNU General Public License and made available on GitHub. Use, inspect, change, and share at will; contributions by everyone are welcome. -
14
Cubiomes Viewer
An efficient graphical Minecraft seed finder and map viewer
Cubiomes Viewer provides a graphical interface for the efficient and flexible seed-finding utilities provided by cubiomes and a map viewer for the Minecraft biomes and structure generation. The tool is designed for high performance and supports Minecraft Java Edition main releases up to 1.21. The tool features a map viewer that outlines the biomes of the Overworld, Nether and End dimensions, with a wide zoom range and with toggles for each supported structure type. The active game version... -
15
Cemu Wii U emulator
Cemu is a Wii U emulator
...The native Linux build is currently a work-in-progress. See Current State Of Linux builds for more information about the things to be aware of. You can download the latest Cemu releases from the GitHub Releases or from Cemu's website. Cemu is currently only available in a portable format so no installation is required besides extracting it in a safe place. -
16
RenderDoc
RenderDoc is a stand-alone graphics debugging tool
...I'll respond to you directly and personally, and I'm used to helping people with private or NDA'd projects. RenderDoc is 100% open source and development all happens on github. Check out the source and see how any feature is implemented, report a bug you've found, or request a new feature or improvement. Usability matters. Tools should have a low barrier to entry and be easy to use and understand. RenderDoc makes the process of getting started as smooth as possible, and simplifies common workflows. Support is distributed separately for authorized developers as part of the NintendoSDK. -
17
Verible
Verible is a suite of SystemVerilog developer tools
The Verible project's main mission is to parse SystemVerilog (IEEE 1800-2017) (as standardized in the SV-LRM) for a wide variety of applications, including developer tools. It was born out of a need to parse un-preprocessed source files, which is suitable for single-file applications like style-linting and formatting. In doing so, it can be adapted to parse preprocessed source files, which is what real compilers and toolchains require. The spirit of the project is that no-one should ever... -
18
ESP32-CAM_MJPEG2SD
ESP32 Camera motion capture application to record JPEGs to SD card
Application for ESP32 / ESP32S3 with OV2640 / OV5640 camera to record JPEGs to SD card as AVI files and playback to the browser as an MJPEG stream. The AVI format allows recordings to replay at the correct frame rate on media players. If a microphone is installed then a WAV file is also created and stored in the AVI file. The ESP32 cannot support all of the features as it will run out of heap space. For better functionality and performance, use one of the new ESP32S3 camera boards, eg... -
19
Solidity
The Smart Contract Programming Language
...We aim for a regular (non-breaking) release every 2-3 weeks, with approximately two breaking releases per year. You can follow the implementation status of new features in the Solidity Github project. You can see the upcoming changes for the next breaking release by switching from the default branch (develop) to the breaking branch. -
20
F´
A flight software and embedded systems framework
...To develop applications with F´, the following requirements of the user’s system must be met, Linux or Mac OS X operating system (or Windows Subsystem for Linux on Windows), CMake, Bash or Bash compatible shell, Clang or GCC compiler, Python 3 and PIP. F´ can be quickly installed and ready to use by cloning the GitHub repository, installing Python code (typically in a virtual environment), and building one of our reference applications. -
21
Tree
tree is a library for working with nested data structures
Tree (dm-tree) is a lightweight Python library developed by Google DeepMind for manipulating nested data structures (also called pytrees). It generalizes Python’s built-in map function to operate over arbitrarily nested collections — including lists, tuples, dicts, and custom container types — while preserving their structure. This makes it particularly useful in machine learning pipelines and JAX-based workflows, where complex parameter trees or hierarchical state representations are... -
22
Descent 3
Descent 3 by Outrage Entertainment
...A dedicated community maintains the engine, publishes updated releases, documents internals on a wiki, and coordinates contributions via an active Discord server and GitHub. -
23
GraphQL for .NET
This is an implementation of Facebook's GraphQL in .NET
GraphQL is a query language for your API, and a server-side runtime for executing queries by using a type system you define for your data. GraphQL isn't tied to any specific database or storage engine and is instead backed by your existing code and data. A GraphQL service is created by defining types and fields on those types, then providing functions for each field on each type. All packages generated from this repository come with embedded pdb and support Source Link. If you are having... -
24
tls SNI injector iOS Public Free Server
all to the world
TCP Over SSL Tunnel TCP Over SSL Tunnel is a free SSL tool with SNI Host (Spoof Host) support ( SSL Injector ). ## License This project includes some open-source components. This software is sold as a proprietary product. A license to use this software is granted only to those who have completed the payment process. For full license terms, please refer to the [Proprietary-License](./LICENSE) file. -
25
NeoPixelBus
An Arduino NeoPixel support library
An Arduino NeoPixel support library supports a large variety of individually addressable LEDs. Please refer to the Wiki for more details. Please use the gitter channel to ask questions as the GitHub Issues feature is used for bug tracking. A library to control one wire protocol RGB and RGBW LEDs like APA106, SK6812, WS2811, WS2812, and WS2813 that are commonly referred to as NeoPixels and two-wire protocol RGB like Lpd8806, APA102, and SK9822 commonly referred to as DotStars. Supports most Arduino platforms. ESP32 support for using both RMT and i2s. ...
