Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Repository Index
47,133 repositories indexed
313–336 of 455 · Most stars
All your computers and your phone, working as one desk. Aurora redesign of TwinDesk. GPL-3.0
:computer: Netcat client and server modules written in pure Javascript for Node.js.
- netcat
- client
- nodejs
- net
Ember computed property based validations
- ember
- ember-addon
- validations
Image quality is an open source software library for Image Quality Assessment (IQA).
- artificial-intelligence
- machine-learning
- image-quality-assessment
- computer-vision
Full tutorial of computer vision and machine learning basics with OpenCV and Keras in Python.
Cornelius, le cadre/miroir intelligent : il vous reconnaît, vous écoute et répond en français. Assistant vocal, reconnaissance faciale en local, Home Assistant, météo, transports et beaucoup plus !
- ai-assitant
- computer-vision
- esp32
- face-recognition
[IROS 2020] se(3)-TrackNet: Data-driven 6D Pose Tracking by Calibrating Image Residuals in Synthetic Domains
- robotics
- tracking
- computer-vision
- pose-estimation
Xiryn — the open-source personal agent. Does everything Muse, Grok Bot and Dots do, on your own computer: each agent gets its own Linux desktop in Docker, any model with your keys, an encrypted vault, and control from Telegram.
The OpenMusic visual programming / computer-aided composition environment
- computer-aided-composition
- visual-programming
- music
- openmusic
:computer: Facebook command line client (needs to be updated)
- facebook-api
- command-line
Adium is an open source and free instant messaging application for macOS that can connect to XMPP (Jabber), IRC and more.
- adium
- macintosh-computers
- chat
- xmpp
AI teammates that each get their own computer and browser. Built entirely on Cloudflare.
- cloudflare
- durable-objects
Quantum Computer Library for Everyone
- quantum
- python
- quantum-computing
- quantum-algorithms
Experimental NVIDIA tensor-compute unlock research: guarded TU102 initramfs port, offline tests, and Ampere reproduction notes
Program for rapidly developing computer vision applications
- computer-vision
- first-frc
- firstrobotics
- first-robotics-competition
A neural network Swift playground, with no third party dependencies.
- wwdc-scholarship
- computer-vision
- neural-network
- swift-playgrounds
Math.NET Symbolics
- computer-algebra
- mathnet
- dotnet
- fsharp
🦩 Joi like validations for TypeScript
- validation
- typescript
- runtime
- strongly-typed
AgML is a centralized framework for agricultural machine learning. AgML provides access to public agricultural datasets for common agricultural deep learning tasks, with standard benchmarks and pretrained models, as well the ability to generate synthetic data and annotations.
- deep-learning
- agriculture
- pytorch
- dataset
Vulkan compute for people
Remove ads and bloat from Android TV and Google TV. Free Mac and Windows app with an ad-free launcher you set up from your computer.
A python 3 library to connect various motor systems to a Raspberry pi single board computer
- raspberry-pi
- motor
- servo
- 28byj-48
This repository provides you with an easy-to-use labeling tool for State-of-the-art Deep Learning training purposes. It supports Auto-Labeling.
- labeling-tool
- label
- tensorflow
- deep-learning