Repository Index

Implementation of Finger Tree in JavaScript.

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

TranslatedSkia based 2d graphics SwiftUI rendering library. It is based on Rust to implement software rasterization to perform rendering.

• rust
• skia
• swift
• swiftui

GraphQL parser for Python

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

CakePHP plugin for maintaining a contiguous sequence of records

• php
• cakephp
• cakephp-plugin
• sequence

A SIP monitoring script that publishes incoming calls with CallerID to an MQTT channel

Community-maintained C# SDK for PocketBase

• sdk-c-sharp
• csharp-sdk
• pocketbase
• pocketbase-sdk

Error Prone extensions: extra bug checkers and a large battery of Refaster rules.

• java
• static-analysis
• abstract-syntax-tree
• ast

The repository host gives no description.

MQTT implementation in Elixir

MCP server for spatial transcriptomics analysis through natural language interfaces.

• bioinformatics
• cell-communication
• deconvolution
• machine-learning

Personal website

• r
• tidymodels
• tidyverse
• quarto

A Plotly Dash application showing earthquake data from the USGS website

• plotly
• dashboard
• dash
• usgs

Returns an array with only the unique values from all given arrays using strict equality for comparisons.

• arr
• array
• difference
• diff

Dynamically convert the case of your JSON API keys

• plug
• phoenix
• elixir-lang
• made-by-malomo

Java SQL Formatter, Beautifier and Pretty Printer

• beautify
• formatter
• java
• mssql

t6 is a "Data-first" IoT platform to connect physical Objects with time-series DB and perform Data Analysis.

• home-automation
• iot
• iot-platform
• nodejs

A small repo to help SaaS devs build a LemonSqueezy integration with Pocketbase

• lemonsqueezy
• pocketbase
• saas

An implementation of SPARQL for Elixir

• sparql
• elixir
• linked-data
• semantic-web

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.

• tide
• mongodb
• async-graphql
• rust