Haskell syntax highlighting that considers variable scopes. Inspired from "Context Coloring" by prof. Douglas Crockford.
- haskell
- neovim
- neovim-plugin
- nvim
Repository Index
47,133 repositories indexed
9,745–9,768 of 11,541 · Most stars
Print OCaml values based on their runtime representation
Utilities for HDR Histogram logs manipulation
Ansible playbook - Containerize, configure and deploy Prometheus ecosystem
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Programmatic building of JSON schemas (document and field mappings) with validation.
A set of tools to use with the PlayCanvas REST API for common jobs such as downloading a build and archiving a project
Application to extract features from plant root images
Go HTTP client w/ HTTPS and SOCKS5 Proxy Load-balancing, Failover, Retries, Authentication, and RoundTripper
- golang
- golang-library
- http
- http-client
Hamcrest matchers for the Go programming language
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Log the value/error of a promise
Provides primitives to perform ordered GRAceful TERmination for Golang applications
- graceful-shutdown
- termination
- graceful-degradation
- graceful-restart-process
Lattice light-sheet post-processing utility.
- microscopy
- light-sheet
- image-processing
- image-analysis
Patient API is a PoC project using Golang, Chi, PostrgreSQL among Docker and Docker compose. Exposing REST API endpoints.
Hahn: A Coq library
- coq-library
A simple & highly extendable, meta-notification system; Echo checks notification preferences & dispatch notifications to different adapters (ex. email, logger, analytics, sms, etc.).
Interfaces ham radio APRS-IS servers and saves packet data into an influxdb database
Develop streaming applications for IBM Streams in Python, Java & Scala.
- ibm-streams
- java
- scala
- python
Provides Label and ImageView for screen capture prevention.
The soil mate app provides a simple and convenient way to collect soil data at sample locations in the field. The Soil Mate app is targeted across multiple industries, including agriculture, environmental science, geology, and mining. The current version of the app collects soil texture data.
- soil
- soil-science
- soil-properties
- soil-mapping
Production-ready headless CMS starter template built with Next.js, Strapi, and Tailwind CSS for optimal SEO.
A modern mod manager for all your games with built-in Archipelago support.
- bepinex
- game-modding
- linux
- linux-gaming
A really simple demonstration project for Voxelman.