Aleš Bizjak's repositories
abizjak.github.io
Website repo
alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
ccdexplorer-fundamentals
The shared codebase use for all things CCDExplorer.io
concordium-base
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
concordium-grpc-api
The gRPC protocol definition file and related documentation on the gRPC interface exposed by concordium-node.
concordium-misc-tools
A collection of small tools with a well-defined purpose
concordium-node
The main concordium node implementation.
concordium-rust-sdk
Rust SDK for the Concordium blockchain.
concordium-rust-smart-contracts
Libraries and tools for writing and testing smart contracts on Concordium
concordium-smart-contract-tools
Tools for building, deploying, and interacting with smart contracts
helm-projectile
Helm UI for Projectile
http2-client-exe
reference client binary for the http2-client library
libgit2
A cross-platform, linkable library implementation of Git that you can use in your application.
protobuf
Protocol Buffers - Google's data interchange format
rust-postgres
Native PostgreSQL driver for the Rust programming language
tonic
A native gRPC client & server implementation with async/await support.
mpz
Multi-party computation libraries written in Rust 🦀