Teaching materials for a future Foundation of Embodied AI course, with Chinese and English tutorials on robot dynamics, Isaac Sim, Isaac Lab, MuJoCo, robot learning, ROS 2, camera calibration, PPO, SAC, Flow Matching, GR00T, and SONIC.
Repository Index
47,133 repositories indexed
265–288 of 553 · Most stars
Video and photo camera for iOS
Web library for OCaml with support for HTTP/1.X / HTTP/2
- http
- http2
- http-client
- https
A simple controller for FramerJS that allows you to transition between views with just a couple lines of code.
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A GB, GBC and GBA emulator with GB Camera support.
- c
- gameboy-emulator
- gameboy-color
- gameboy-advance
Elm architecture and (V)DOM for OCaml
Philips Hue nodes for Node-RED to control bridges, lights, groups, scenes, rules, automations, switches, dials, buttons, doorbells, speakers, motion & contact sensors, cameras, temperature & light level sensors and the Hue Play HDMI Sync Box — CLIP/v2 API, Hue Bridge Pro & MotionAware support.
- home-automation
- philips-hue
- node-red
Personal project: where shoppers look, estimated from an ordinary security camera and open source AI (YOLO11, Gaze-LLE, Depth Anything V2)
- 3d-reconstruction
- blender
- camera-calibration
- cctv
CVPRW 2021: How to calibrate your event camera
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Automated S-expression conversion
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Cram like framework for OCaml
TSPS is a cross platform Toolkit for Sensing People in Spaces. It performs openCV operations on live video (Kinect, web camera, etc) and sends it to clients as JSON (via WebSockets), OSC, TUIO, or TCP.
Texture a whole game level from a gray blockout with image models: plan cameras, paint, project, bake. Real shadows, glTF out.
- gamedev
- generative-ai
- procedural
- texturing
Open eHealth Integration Platform
- ehealth
- ihe-iti
- hl7
- camel
Collapse and expand UICollectionView sections with one method call.
Scan a QR code in the terminal using the system camera or a given image
- camera
- command-line
- console-application
- qrcode
A Lua networking library for LÖVE games.
- lua
- networking
- gamedev
- online
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Easy OCaml bindings for Javascript libraries
A camera proxy for Reolink: pulls video over Reolink's own protocol and serves RTSP and HTTP for Frigate, go2rtc or any NVR. No ffmpeg in the serving path.
- baichuan
- frigate
- go2rtc
- home-assistant
Does their story hold up? Paste what a seller, recruiter or landlord told you and check it against public records in thirty seconds, with proof saved for every reason.
- desktop
- due-diligence
- evidence
- fraud