vitsalis's Stars
rust-lang/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
amix/vimrc
The ultimate Vim configuration (vimrc)
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
theanalyst/awesome-distributed-systems
A curated list to learn about distributed systems
cosmos/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
emeryberger/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
cosmos/ibc
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
proper-testing/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
CosmWasm/cw-plus
Production Quality contracts under open source licenses
vitsalis/PyCG
Static Python call graph generator
babylonchain/babylon
Main repo for Babylon full node
strangelove-ventures/lens
⚛️❤️👁 Brought to you by the LensCrafters
dspinellis/ai-cli-lib
Add AI capabilities to any readline-enabled command-line program
hephaestus-compiler-project/hephaestus
A framework for testing compilers' type checkers
babylonchain/babylon-relayer
IBC relayer that supports relaying headers one-way periodically
grnet/emotet-utils
babylonchain/vigilante
Vigilante program for Babylon
babylonchain/btc-staker
babylonchain/finality-provider
A peripheral program run by the finality providers
theosotr/cynthia
Data-Oriented Differential Testing of ORM Systems.
babylonchain/btc-staking-ts
TypeScript Library for BTC Staking
louridas/invoices
Generates invoices to be used according to the latest (2012-2013) tax regulations
babylonchain/storage-contract
hephaestus-compiler-project/hephaestus-pldi-eval
Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".
babylonchain/rpc-client
Babylon-client is meant to be imported as a library in other Babylon repos to easily navigate and interact with the Babylon nodes.
babylonchain/staking-queue-client
filippos47/eloncharge
Web application offering EV charge analytics, paired with an administrative CLI client.
filippos47/NTUA-PPS
Course assignments for Parallel Processing Systems @NTUA
filippos47/ToyChord
Flask implementation of Chord DHT
cappadokes/cpythondsa
A repo accompanying the paper "The Impact of Dynamic Storage Allocation on CPython Execution Time, Memory Footprint and Energy Consumption: An Empirical Study"