Repository Index

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

AIRKinect 2.0 AIR Examples

Example repository for GitHub Actions Time of Check to Time of Use (TOCTOU vulnerabilities)

• actions
• bugbounty
• cicd

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Renderer for the Ricardian Contract specification

Kibana 7 Templates for Suricata IDPS Threat Hunting

MQTT implementation in Elixir

Improve default f/t hop abilities

MCP server for spatial transcriptomics analysis through natural language interfaces.

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

Crystal bindings to the Zstandard (zstd) compression library

• crystal
• crystal-bindings
• zstd
• zstandard

Path tracing with WebGPU compute shaders

• compute-shader
• path-tracing
• raytracing
• webgpu

The repository host gives no description.

• ats
• open-source
• rails
• recruitment

Bootstrap 5 Components for the Yew Framework

• bootstrap
• rust
• wasm
• yew

RDoc generator designed with simplicity, beauty and ease of browsing in mind

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

• arr
• array
• difference
• diff

Compile erlang record definitions into modules to convert them to/from json easily.

• erlang
• json
• json-converter

PoC blog implementation in D + vibe.d

Video game review datasets scraped from the Steam website (http://store.steampowered.com/). Data includes review text, number of hours that the reviewer played the game, number of friends, groups, etc.

Raspberry Pi (and Linux) simple remote monitoring tool with dashboard for multiple RPi devices. It works for any Linux device.

• dashboard
• monitoring
• monitoring-scripts
• monitoring-tool

An implementation of SPARQL for Elixir

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

The Google Protocol Buffers implementation in Ada

• protobuf
• ada
• compiler

A simple script that handles bookmarks stored in a txt file.

• foxy
• bookmark
• store-bookmarks
• dmenu

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.

Generate JSON objects with a Builder-style DSL, inspired by jbuilder

• jbuilder
• crystal-lang
• template-engine
• json