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
Repository Index
47,133 repositories indexed
3,049–3,072 of 3,691 · Most stars
Community-maintained C# SDK for PocketBase
- sdk-c-sharp
- csharp-sdk
- pocketbase
- pocketbase-sdk
Kibana 7 Templates for Suricata IDPS Threat Hunting
Tracetool viewer, client Api for Dotnet, Java, Javasvript, C++ , Python, Delphi
An Eclipse Vert.x verticle to boot an application from HOCON configuration.
- vertx
- hocon
- reactive
- microservice
Use MetaMask with Blazor WebAssembly
- blazor-webassembly
- metamask
- blazor
- dapps
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.
Metadata & configs for client apps in Polkadot & Kusama ecosystem
- blockchain
- dapps
- polkadot
- staking
A gem that helps you generate your factory files.
Live theme switching for Zed in Omarchy
Old fashion FPS game written with Godot engine
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://golem.network/) architecture
- golem
- decentralised-machine-learning
- federated-learning
A simple PHP sample application for running on AWS OpsWorks
Advanced Phishing Protection: Suricata rulesets open and free
- anti-phishing
- antiphishing
- openphish
- phishing
Powerful autolayout framework, that can manage UIView(NSView), CALayer and not rendered views. Not Apple Autolayout wrapper. Provides placeholders. Linux support.
- ui
- layout-engine
- layout
- uikit
**DEPRECATED**. Use the native and support library variants instead - https://developer.android.com/guide/topics/ui/look-and-feel/fonts-in-xml.html. An android library that makes it easy to add custom fonts to edittexts and textviews
A webhook receiver on steroids.
- golang
- webhooks
- hacktoberfest
- apps
CakePHP extension for PHPStan
SparkPost client library for Elixir https://developers.sparkpost.com
- elixir
- sparkpost
Kibana 5 Templates for Suricata IDPS
A highly configurable custom element for use in your Aurelia applications for inserting Google Maps into your application.
- aurelia-cli
- aurelia-applications
- google-maps
[READ-ONLY] Validation library from CakePHP. This repo is a split of the main code that can be found in https://github.com/cakephp/cakephp
Testing Vert.x applications with JUnit 5
Declarative Auto Layout code that is easy to write, read, and modify