Search Results for "github-copilot"
Sort By:
Showing 16 open source projects for "github-copilot"
View related business solutions-
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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
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... -
3
TurboPilot
Open source large-language-model based code completion engine
TurboPilot is a self-hosted copilot clone that uses the library behind llama.cpp to run the 6 Billion Parameter Salesforce Codegen model in 4GiB of RAM. It is heavily based and inspired by on the fauxpilot project. This is a proof of concept right now rather than a stable tool. Autocompletion is quite slow in this version of the project. Feel free to play with it, but your mileage may vary. -
4
PLEXIL (plan execution software)
Plan execution language and executive
NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at https://github.com/plexil-group/plexil. Documentation is found at https://plexil-group.github.io/plexil_docs. Please use these new locations. PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools. ... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
gImageReader
A graphical frontend to tesseract-ocr
...Features include: - Import PDF documents and images from disk, scanning devices, clipboard and screenshots - Process multiple images and documents in one go - Manual or automatic recognition area definition - Recognize to plain text or to hOCR documents - Recognized text displayed directly next to the image - Post-process the recognized text, including spellchecking - Generate PDF documents from hOCR documents **Note**: This page is only a mirror for the downloads. Development is happening on github at https://github.com/manisandro/gImageReader, release binaries are also posted there. -
6
-
7
SINGA
A distributed deep learning platform
Apache SINGA is an Apache Top Level Project, focusing on distributed training of deep learning and machine learning models. Various example deep learning models are provided in SINGA repo on Github and on Google Colab. SINGA supports data parallel training across multiple GPUs (on a single node or across different nodes). SINGA supports various popular optimizers including stochastic gradient descent with momentum, Adam, RMSProp, and AdaGrad, etc. SINGA records the computation graph and applies the backward propagation automatically after forward propagation. ... -
8
-
9
CILP++
In-development neural-symbolic system, CILP++
This is the project of the extension of the original C-IL2P neural-symbolic system, CILP++, for reasoning, knowledge extraction and theory revision from propositional and first-order logics. *** ATTENTION! The CILP++ project has been discontinued from SVN! It has been migrated to Github on https://github.com/manoelfranca/cilppp! -
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
PetaVision
Accelerated Open-Source Neuromorphic Computing
///////// NOTICE We have migrated to GitHub: https://petavision.github.io To clone an updated repository of the PetaVision codebase, please go to our page on GitHub. ///////// PetaVision is an open source, object oriented neural simulation toolbox optimized for high-performance multi-core, multi-node computer architectures. PetaVision is intended for computational neuroscientists who seek to apply neuromorphic models to hard signal processing problems; both to improve on the performance of existing algorithms and/or to gain insight into the computational mechanisms underlying biological neural processing. ... -
11
Mobile Robot Programming Toolkit (MRPT)
**MOVED TO GITHUB** ==> https://github.com/MRPT/mrpt
**MOVED TO GITHUB** ==> https://github.com/MRPT/mrpt The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed for robotics researchers to design and implement algorithms about Localization, SLAM, Navigation, computer vision. http://www.mrpt.org/ -
12
YARP, Yet Another Robot Platform. Always dreamt of controlling a humanoid robot? ...well, we do that. A C++ library for IPC, vision and control. This project was migrated to GitHub: https://github.com/robotology/yarp
-
13
This project is no longer hosted in sourceforge but in github: https://github.com/ibex-team/ibex-lib/
-
14
drvq
dimensionality-recursive vector quantization
...DRVQ has a 2-clause BSD license. Please refer to the DRVQ software home page, the research project, or the original publication for more information. The latest code is available at github. -
15
NeuralGas
Self-organized learning
A collection of algorithms based on the topology preserving Neural Gas algorithm for density estimation/quantization/clustering/self-organized learning. I moved this project to GitHub: https://github.com/sergioroa/neuralgas -
16
The Whole-Body Control framework jointly developed at Stanford University and The University of Texas at Austin provides advanced control for fixed base manipulators and is currently running on the the Meka A2 Arm and the Dreamer/Meka Humanoid robot. The code repository is hosted on Github, please go to https://github.com/poftwaresatent/stanford_wbc
- Previous
- You're on page 1
- Next
