Highlights
Popular repositories Loading
-
apalache
apalache PublicForked from apalache-mc/apalache
APALACHE: symbolic model checker for TLA+
Scala
-
cosmos-sdk
cosmos-sdk PublicForked from cosmos/cosmos-sdk
⛓️ A Framework for Building High Value Public Blockchains ✨
Go
-
Examples
Examples PublicForked from tlaplus/Examples
A collection of TLA+ specifications of varying complexities
TLA
288 contributions in the last year
Day of Week | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
January 2025
Created 7 commits in 1 repository
Created a pull request in informalsystems/malachite that received 42 comments
feat(spec): Requirements on valid(v)
Closes: #510 PR author checklist For all contributors Reference GitHub issue Ensure PR title follows the conventional commits spec For externa…
+108
−15
lines changed
•
42
comments
Opened 1 other pull request in 1 repository
informalsystems/malachite
1
merged
-
fix(spec): agreement for multiple heights
This contribution was made on Jan 10
Reviewed 7 pull requests in 1 repository
informalsystems/malachite
7 pull requests
-
feat(spec): Argue that Tendermint is a safe and live consensus algorithm
This contribution was made on Jan 16
-
feat(spec): Consensus timeouts and synchrony assumptions
This contribution was made on Jan 15
-
feat(spec): Consensus network requirements and gossip property
This contribution was made on Jan 15
-
feat(spec): discussion of consensus
getValue()
functionThis contribution was made on Jan 14 -
feat(spec): Requirements on valid(v)
This contribution was made on Jan 14
-
feat(spec): Requirements for the proposer selection algorithm
This contribution was made on Jan 13
-
feat(spec): Improvements and fixes in consensus overview
This contribution was made on Jan 7
Opened 2 issues in 1 repository
informalsystems/malachite
1
open
1
closed
-
spec: certificates <> aggregate signatures?
This contribution was made on Jan 13
-
fix(spec): Agreement invariant should consider multiple heights
This contribution was made on Jan 9