A Web Application for Learning OCaml
- ocaml
- teaching
- learn-ocaml
Repository Index
47,133 repositories indexed
11,977–12,000 of 22,586 · Most stars
A lightweight Peer to Peer Service Bus
- bus
- peer-to-peer
- c-sharp
- distributed-systems
VeloView performs real-time visualization and easy processing of live captured 3D LiDAR data from Velodyne sensors (Alpha Prime™, Puck™, Ultra Puck™, Puck Hi-Res™, Alpha Puck™, Puck LITE™, HDL-32, HDL-64E). Runs on Windows, Linux and MacOS. This repository is a mirror of https://gitlab.kitware.com/LidarView/VeloView-Velodyne.
- lidar
- lidar-camera-calibration
- lidar-data-manipulation
- lidar-measurements
BESS: Berkeley Extensible Software Switch
Reverse-engineer any Android TV / Google TV: 100% fail-safe direct boot launcher, remote hotkey remapping, Realtek hardware passthrough & offline media player.
Kraken: A multi-platform distributed brute-force password cracking system
- kraken
- kraken-client
- security-tools
- security
PopupController is a controller for showing temporary popup view.
C library for reading and writing YAML.
- c
- library
- yaml
A GraphQL client for Elixir
- elixir
- elixir-lang
- elixir-library
- hex
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Learn Claude Code by exploring it as it was designed - interactive IDE-style docs for commands, MCP, skills, CLAUDE.md and more.
jQuery plugin that makes an image erasable (with mouse or touch movements)
Lint tool for F#
- fsharp
- lint
- linter
- dotnet
We need a better Markdown previewer.
Raspberry Pi MQTT Monitor gathers system information and sends it to a MQTT server.
Use your favorite machine translation engines without having to leave your favorite editor.
- apertium
- argos
- deepl
PyC (Pytorch Concepts) is a PyTorch-based library for designing concept-based interpretable deep learning models.
- ai
- concepts
- explainable-ai
- interventions
RAX harness: coding agents that learn robot tasks by online exploration
The privacy-first menu bar manager for macOS. Now 100% free and open source (MIT) — every feature unlocked. Native, lightweight, and scriptable.
A lightweight library for generating text tables.
- swift
- linux
- command-line
- tabular-data
Cloudflare API v4 Dynamic DNS Update in Bash
- bash-script
- cloudflare-ddns
- cloudflare
- cloudflare-api
A JSON spec and renderer for interactive agent avatars
Send Sir Perceval on a quest to retrieve and gather data from software repositories.
- grimoirelab
- perceval
- data-mining
- data-fetching
ARKit Demo Application
- arkit
- arkit-roaddirection
- arkit-applemap
- arkit-map