Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
Repository Index
47,133 repositories indexed
13,849–13,872 of 14,854 · Most stars
Database seeder component for Phalcon
The Content Hub ONE NextJS starterkit will contain helping functionalities such as handling GraphQL JSON output conversion to HTML for Rich Text, Media Fields and References. Also it will contain a small example implementation that Developers can use to start their customer projects on.
Add all custom post types to WP GraphQL
Get jumpstarted with aWhere's API platforms using these code samples. More languages and samples will be coming, feel free to fork and contribute!
Auto-generated Telegram Bot API bindings for Common Lisp.
AdaChess is a smart chess engine written from scratch in the Ada programming language
Use plotly in your browser to explore data from a Common Lisp REPL
An easy to install pyATS extension for Gemini CLI
Use this sample when creating a simple pipeline in AWS CodePipeline while following the Simple Pipeline Walkthrough tutorial. http://docs.aws.amazon.com/codepipeline/latest/userguide/getting-started-w.html
Feature-rich filesystem mocking for Go tests: comprehensive error injection, latency simulation, write operations, operation statistics, and standalone file handles. Built on testing/fstest.MapFS with comprehensive fs.FS interface support.
- filesystem
- go
- golang
- mock
Products extension for Refinery CMS
A lightweight webhook action engine — execute custom commands, scripts, and forward webhooks based on YAML rules when webhook requests arrive.
Log weather data from LM35 temperature sensor using Meadow, Blazor, and Web API
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
typescript compile server for [connect/express]-middleware
The repository host gives no description.
The repository host gives no description.
A website to showcase the cool projects built with Cycle.js
A keyboard driver for cycle.js
React hooks for integrating with Web Monetization.
- react
- react-hooks
- web-monetization
CakePHP Expose plugin to expose entities through additional UUIDs instead of their AIID primary keys
CakePHP Meta plugin for managing meta tags and SEO related HTML header markup.
QR Code Plugin for CakePHP