fixxxedpoint Goto Github PK

aleph-node

Node implementation for aleph blockchain built with Substrate framework

aleph-node-runner

aleph-testnet

Aleph Zero Blockchain Helm chart with all the necessary tooling to run it locally.

crate2nix

nix build file generator for rust crates

hiprolog

A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.

hou

A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.

int256

.NET Int256

maligned

Tool to detect Go structs that would take less memory if their fields were sorted.

nixpkgs

Nix Packages collection & NixOS

quorum_intersection

A tool for checking the quorum intersection property of the stellar network (https://www.stellar.org/). Details of the algorithm: https://arxiv.org/abs/1902.06493

rack

The virtual Eurorack studio

rush

rust implementation of Aleph protocol

rust-libp2p

The Rust Implementation of the libp2p networking stack.

sub-flood

Flooding substrate node with transactions

substrate

Substrate: The platform for blockchain innovators

substrate-api-client

Library for connecting to substrate API over WebSockets

synthetic-network

Docker containers on a synthetic network. Run applications in a context that lets you manipulate their network conditions.