The repository host gives no description.
Repository Index
47,133 repositories indexed
33,985–34,008 of 37,744 · Most stars
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
The repository host gives no description.
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html
Get event details of competitive programming contests, hackathons etc.
📝 Better lists for Draft.js
- draft-js
- draft-js-plugins
- text-editor
- react
Shinken module for exporting data to InfluxDB
Modularized famous normalize.css using less
- normalize
- less
- modularity
Core & Community developed monitoring integrations for Sematext monitoring agent
- monitoring
- performance-monitoring
- metrics
- performance-metrics
🦫 Privacy-first virtualization layer for LLM context with MCP protocol for tool access.
simple click game made with choo
A pretty simple library to ensure your work to be done
- go
- golang
- retry
- retry-library
A twitter pinbot using IPFS Cluster
A @Vlang module to integrate Veb applications with @ViteJS, providing seamless frontend adaptation.
- vitejs
- vlang
- v-vite
A plugin that enhances insert-mode keymapping by showing typed keys in real time, without waiting for timeoutlen. It provides a responsive and intuitive insert-mode experience, ideal for complex input workflows such as ime.
Official OCaml port of Sqids. Generate short unique IDs from numbers.
- id-generator
- ocaml
- sqids
- hashids
HTTP Router with various macros to assist in developing your application and organizing your code
Java reimplementation of PostgREST
Reexport external symbols in other packages.
A library that allows to generate the Crystal code
- code-generator
- crystal
- nette
:airplane: A plugin for Fly that run ava tests
- fly
- ava
The repository host gives no description.
Command-line tool to format and syntax highlight Suricata rules
- python
- suricata
The repository host gives no description.