Runtime types for OCaml (beta version)
Repository Index
47,133 repositories indexed
625–648 of 704 · Most stars
The MemCAD static analyzer
- abstract-interpretation
- static-analysis
- c
- shape-analysis
Learning to program in Lua using "Torch" and other useful libraries
Delphi Print Preview Component
- delphi
- printing
- print-preview
- windows-metafile
JSON Store with MQTT Interface :books::open_file_folder::satellite:
Tool to convert OASIS metadata to OPAM package descriptions
A skeletal animation system for LÖVE 2D. https://love2d.org
Adding color to real-time scene reconstruction
- augmented-reality
- ios
- virtual-reality
- gpgpu
File format detection and metadata extraction for Elixir.
- elixir
- hex
Simple API for public transport realtime data
- gtfs-rt
- siri-lite
- realtime-data
An R package for constructing and modelling a transit network in real time to obtain vehicle ETAs
PHP library to deal with Steam's proprietary TOTP algorithm.
A simple to use shallow ETag plug
- etag
- plug
- elixir
- hacktoberfest
An interpretation of Ampleforth for Blockstack
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
A simple project creation tool that uses packaged templates
- project-template
- template-engine
Web application for distributed compute analysis of Archive-It web archive collections.
Adds meta data registered via register_meta() to the GraphQL output.
Twital integration for Symfony
Chessmata: chess game for humans and AI agents
Setup meta for your Prember/Ember blog to support opengraph, microdata, Facebook, Twitter, Slack etc.
- prember
- meta
- opengraph
Generated site from https://github.com/arobenko/bare_metal_cpp_src. Browse to https://arobenko.github.io/bare_metal_cpp/.
A wrapper around choo API that allows to use choo components without a baked-in routing layer.
A simple PHP Steam login and User Detail package
- php
- composer
- steam
- steam-api