Pinned 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
ccdexplorer-schema-parser
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
abizjak's Repositories
abizjak/abizjak.github.io
Website repo
abizjak/alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
abizjak/ccdexplorer-fundamentals
The shared codebase use for all things CCDExplorer.io
abizjak/ccdexplorer-schema-parser
abizjak/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.
abizjak/concordium-grpc-api
The gRPC protocol definition file and related documentation on the gRPC interface exposed by concordium-node.
abizjak/concordium-misc-tools
A collection of small tools with a well-defined purpose
abizjak/concordium-node
The main concordium node implementation.
abizjak/concordium-rust-sdk
Rust SDK for the Concordium blockchain.
abizjak/concordium-rust-smart-contracts
Libraries and tools for writing and testing smart contracts on Concordium
abizjak/concordium-smart-contract-tools
Tools for building, deploying, and interacting with smart contracts
abizjak/ghcid
Very low feature GHCi based IDE
abizjak/helm-projectile
Helm UI for Projectile
abizjak/http2-client-exe
reference client binary for the http2-client library
abizjak/libgit2
A cross-platform, linkable library implementation of Git that you can use in your application.
abizjak/protobuf
Protocol Buffers - Google's data interchange format
abizjak/rust-blog
Educational blog posts for Rust beginners
abizjak/rust-postgres
Native PostgreSQL driver for the Rust programming language
abizjak/tonic
A native gRPC client & server implementation with async/await support.
abizjak/turingjs
abizjak/csv-search-example
abizjak/mpz
Multi-party computation libraries written in Rust 🦀
abizjak/rust-smt-ir