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

DB schema as code tool

Fast & easy-to-use A* module written in Lua

• lua
• love2d
• pathfinding

Displays automatic scale bars for projected geospatial data.

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

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

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

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

Kibana 7 Templates for Suricata IDPS Threat Hunting

Fast download from files to the browser from Blazor without any javascript library reference or dependency.

LibFindMacros development repository and other cool CMake stuff

TurboPack MustangpeakEasyListview is part of VirtualShellTools for the Listview but can be used for a TListview Replacement that is faster and more customizable.

A Starcraft 2 replay parser written in pure Ruby

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.

💰 Crystal shard for dealing with money and currency conversion

• crystal
• money
• currency
• cryptocurrency

Crystal bindings to the Zstandard (zstd) compression library

• crystal
• crystal-bindings
• zstd
• zstandard

Micropython package for doing fast rsa and elliptic curve cryptography, specifically digital signatures

• cryptography
• elliptic-curves
• micropython
• rsa

Command line, offline, access to HTTP status code, common header, and port references

• golang
• golang-package
• cli
• http

docker file for use with androguard python android app analysis tool

The repository host gives no description.

• ats
• open-source
• rails
• recruitment

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

• eos
• blockchain
• file-upload

Bootstrap 5 Components for the Yew Framework

• bootstrap
• rust
• wasm
• yew

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

• arr
• array
• difference
• diff

Window-Based Hybrid CPU/GPU Stream Processing Engine

• stream-processing
• hybrid
• multicore
• gpu

This project presents a Python-based spam detector program that utilizes the Naive Bayes approach to classify emails as either spam or ham. The system is designed to accurately and efficiently identify spam messages, providing a useful tool for individuals and organizations seeking to manage their email inboxes more effectively.

• anaconda
• jupyter-notebook
• python

Redis Cluster Manager in Crystal

• cluster
• crystal
• redis