Search Results for "source code computer" - Page 34
Sort By:
849 projects for "source code computer" with 2 filters applied:
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction... -
2
-
3
-
4
A software to implement the existing stereo matching algorithms in computer vision, including the easiest SSD, and the newest algorithms.
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
5
-
6
The Data Fusion Peer is a multitier computer vision internet application. The system provides image processing, motion tracking, and visualization information. Application will convert data into 3-Deminsional and other digital environments.
-
7
eye-pointer is a set of libraries and programs for computer vision, especially for locating the spot on the screen you're looking at. The ultimate goal is to incorporate that facility into a pointer (mouse) driver.
-
8
The project is aimed at automatic target following using a camera , a computer vision system and a microcontroller that moves the cam. The project should mainly work under linux and it might be ported into windows,
-
9
A graphical, interactive, multimedia-rich text reader integrated with computer text-to-speech whose level of focus, complexity, and detail is adjustable according to the user's needs. Suitable for users with learning disabilities: i.e. dyslexia.
-
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.
-
10
ViKi (Virtual Interactive keyboard Interface) is a global framework that enables contactless human machine interaction using computer vision techniques. Only a simple webcam is sufficient to emulate traditional devices such as mouse and keyboard do.
-
11
-
12
AntHill is a Software Engineering project at the Warsaw University of Technology at the faculty of Computer Science. It simulates the behaviour of an anthill. Java technology
-
13
The Guiey project is an attempt to develop a system for graphical user interface scripting and testing in Java. Guiey will use a computer by seeing, typing, and clicking - just like a human user.
-
14
Karlsruhe Service Management Architecture (KASMA): KASMA is a new framework for the next generation Web services developed by Research Center for Computer Science, University of Karlsruhe.
-
15
Idi is a voice recognition program intended to help people with physical disabilities to use a keyboard by dictating. It can also be used as a way to remote control your computer or as a nice way to type in your bath.
-
16
Mellum-4b-base
JetBrains’ 4B parameter code model for completions
Mellum-4b-base is JetBrains’ first open-source large language model designed and optimized for code-related tasks. Built with 4 billion parameters and a LLaMA-style architecture, it was trained on over 4.2 trillion tokens across multiple programming languages, including datasets such as The Stack, StarCoder, and CommitPack. With a context window of 8,192 tokens, it excels at code completion, fill-in-the-middle tasks, and intelligent code suggestions for professional developer tools and IDEs. ... -
17
Cinefile
A category-based approach to exploring film data.
Cinefile is a prototype of a category-based method of database exploration. It allows the user to identify abstract categories of films by providing examples of category members, learns to classify films as belonging or not belonging to those categories, and provides a graphical interface for exploring and comparing categories. Cinefile is designed to work with data retrieved from the Internet Movie Database (imdb.com). This data is used for classification and is the subject of the... -
18
Framework for modelling of Natural General Intelligence. This project aims at creation of open source AGI (Artificial General Intelligence) through modelling of natural thinking. See http://roland.pri.ee/bakalaureusetoo/ for theoretical details.
-
19
Green Tara's OO jDREW
Mirror of Green Tara's OO jDREW fork on Bitbucket
This is a mirror site for downloads and forks. There is no documentation or issue tracking here. Please see the code issue tracking system on Bitbucket at https://bitbucket.org/taraathan/oojdrew -
20
Generic engine to filter information. We wish to show that the power of expression of a filter makes it possible to appreciably reduce the size of the code necessary to extract information and that it is possible in Python.
-
21
using simple cuboids and gjk algorithm, this general purpose algorithm gives a ready made code to work with swissranger 3D camera.
-
22
** IMPORTANT NOTICE ** 10 Feb 2006 Code is being moved to the SMI subversion repository (http://smi-protege.stanford.edu/svn/owl/trunk/) Project will continue to be open source. ProtegeOWL info at: http://protege.stanford.edu/overview/protege-owl.html
-
23
OpenVLA 7B
Vision-language-action model for robot control via images and text
OpenVLA 7B is a multimodal vision-language-action model trained on 970,000 robot manipulation episodes from the Open X-Embodiment dataset. It takes camera images and natural language instructions as input and outputs normalized 7-DoF robot actions, enabling control of multiple robot types across various domains. Built on top of LLaMA-2 and DINOv2/SigLIP visual backbones, it allows both zero-shot inference for known robot setups and parameter-efficient fine-tuning for new domains. The model... -
24
wav2vec2-large-xlsr-53-portuguese
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
wav2vec2-large-xlsr-53-portuguese is an automatic speech recognition (ASR) model fine-tuned on Portuguese using the Common Voice 6.1 dataset. It is based on Facebook’s wav2vec2-large-xlsr-53, a multilingual self-supervised learning model, and is optimized to transcribe Portuguese speech sampled at 16kHz. The model performs well without a language model, though adding one can improve word error rate (WER) and character error rate (CER). It achieves a WER of 11.3% (or 9.01% with LM) on Common...
