Repository Index

Markdown for the component era

• mdx
• markdown
• react
• vue

MJML: the only framework that makes responsive email easy

• mjml
• email
• email-boilerplate
• responsive-email

Build production-ready applications in TypeScript

• effect
• javascript
• cli
• opentelemetry

The next-generation file converter. Open source, fully local* and free forever.

• conversion
• ffmpeg
• wasm
• svelte

The repository host gives no description.

• openapi3
• json-schema
• protobuf
• typespec

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

The .NET library for ImageMagick

• image
• imagemagick
• convert
• resize

A C#/.NET library to run LLM (🦙LLaMA/LLaVA) on your local device efficiently.

• chatbot
• gpt
• llama
• llamacpp

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

Database Markup Language (DBML), designed to define and document database structures

• dbx
• database-schema
• dbml

Python interface to the WebRTC Voice Activity Detector

Python support for Godot 🐍🐍🐍

• godot
• binding
• python
• hacktoberfest

Go binding to ImageMagick's MagickWand C API

• imagick
• magickwand
• imagemagick
• go

The Lux Programming Language

• language
• programming-language
• macros
• functional-programming

A lightning fast image processing and resizing library for Go

• libvips
• image-processing
• golang
• svg

The ctypes-based simple ImageMagick binding for Python

• wand
• python
• ctypes
• imagemagick

Python interface for igraph

• complex-networks
• graph-algorithms
• graph-theory
• mathematics

Queuer is a queue manager, built on top of OperationQueue and Dispatch (aka GCD).

• swift
• linux
• operationqueue
• semaphore

Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers

• javascript
• nodejs
• json-schema
• json-reference

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

Popular PHP library for serialized execution of critical code in concurrent situations

• lock
• mutex
• semaphore
• php

Ruby bindings for ImageMagick

• rmagick
• imagemagick
• ruby

Mathematical Components

• coq
• ssreflect
• mathcomp
• coq-formalization

:spider_web: A Python interface to CGAL's meshing tools

• mesh
• mesh-generation
• mathematics
• engineering