Repository Index

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

Displays automatic scale bars for projected geospatial data.

Contrastive Explanation (Foil Trees), developed at TNO/Utrecht University

• interpretability
• machine-learning
• contrastive-explanations
• foil

LibFindMacros development repository and other cool CMake stuff

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.

Hand-written bindings to Raylib for Common Lisp.

• common-lisp
• raylib

The repository host gives no description.

• ats
• open-source
• rails
• recruitment

📜🔗 Immutable, censorship resistant, cheap, file storage on EOS blockchain

• eos
• blockchain
• file-upload

NodeRED nodes to get data from tuya smart devices (like smart plugs, bulbs, ...).

• node-red
• node-red-contrib
• smarthome
• smart-home

Bootstrap 5 Components for the Yew Framework

• bootstrap
• rust
• wasm
• yew

A library of CSS3 keyframe animations authored using LESS

• css
• less
• animation

An Eclipse Vert.x verticle to boot an application from HOCON configuration.

• vertx
• hocon
• reactive
• microservice

Encode/decode raw ip packets

A cross-platform installer creator

• installer
• linux
• setup
• setup-script

Java SQL Formatter, Beautifier and Pretty Printer

• beautify
• formatter
• java
• mssql

Use MetaMask with Blazor WebAssembly

• blazor-webassembly
• metamask
• blazor
• dapps

Allow adding OS-specific scripts in your package.json!

• cross-platform
• cross-script
• npm-scripts
• os-specific

Metadata & configs for client apps in Polkadot & Kusama ecosystem

• blockchain
• dapps
• polkadot
• staking

Google places picker plugin for flutter. Opens up the google places picker on ios and android returning the chosen place back to the flutter app.

Dropwizard bundle that enables building SOAP web services and clients using JAX-WS API

This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0

Fast lossless JSON parse event streaming, in JavaScript.

• json
• streaming
• parser
• lossless

Sidepanel for Microsoft Blazor

• aspnet
• blazor
• sidepanel