-
-
quint Public
Forked from informalsystems/quintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript Apache License 2.0 UpdatedOct 31, 2025 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedOct 31, 2025 -
cosmos-sdk Public
Forked from cosmos/cosmos-sdk⛓️ A Framework for Building High Value Public Blockchains ✨
Go Apache License 2.0 UpdatedMay 13, 2025 -
tendermint Public
Forked from tendermint/tendermint⟁ Tendermint Core (BFT Consensus) in Go
-
-
go-vlc Public
A Go client implementation for the VLC HTTP server
Go Apache License 2.0 UpdatedMay 7, 2024 -
tpser Public
Forked from ZeljkoBenovic/tpserA small program to quickly determine the block utilization and TPS on any Ethereum compatible blockchain network
Go UpdatedDec 3, 2023 -
awesome-gno Public
Forked from gnoverse/awesome-gnoA curated list of awesome gno resources
Creative Commons Zero v1.0 Universal UpdatedJun 29, 2023 -
gnoland-tutorials Public
Forked from onbloc/gnoland-tutorialsIn-depth documentation for Gnoland developers, providing introductions, deep tutorials, and development resources.
MIT License UpdatedJun 16, 2023 -
workshops Public
Forked from gnolang/workshopshttps://www.youtube.com/@_gnoland
Go UpdatedJun 1, 2023 -
adena-wallet Public
Forked from onbloc/adena-walletA friendly browser extension wallet for the Gnoland blockchain
TypeScript Other UpdatedApr 21, 2023 -
tenderly-cli Public
Forked from Tenderly/tenderly-cliCLI tool for Smart Contract error tracking, monitoring and alerting.
Go GNU General Public License v3.0 UpdatedFeb 3, 2023 -
fitnessApp Public
A MERN stack web application for a fictional fitness center
JavaScript UpdatedJan 1, 2023 -
alien-invasion Public
A small and concurrent simulation of an alien invasion game, written in Go
Go UpdatedOct 29, 2022 -
-
peer_drop Public
A P2P secure file sharing platform
-
ERFC-3327-publisher Public
Forked from 0x3327/ERFC-3327-publisherCLI tool for research publishing
JavaScript UpdatedMay 6, 2022 -
SecureSoftwareDevelopmentProject2021 Public
Forked from 5arV/SecureSoftwareDevelopmentProject2021Java UpdatedMay 1, 2022 -
cobra Public
Forked from spf13/cobraA Commander for modern Go CLI interactions
Go Apache License 2.0 UpdatedApr 20, 2022 -
openzeppelin-contracts Public
Forked from OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.
JavaScript MIT License UpdatedFeb 28, 2022 -
go-web3 Public
Forked from umbracle/ethgoEthereum Golang API
Go Mozilla Public License 2.0 UpdatedNov 29, 2021 -
ChainBridge Public
Forked from ChainSafe/ChainBridge🌉 Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Ethereum Classic, Substrate, based chains.
-
-
-
sr.reactjs.org Public
Forked from stale-reactjs-org-translations/sr.reactjs.org(Work in progress) React documentation website in Serbian
JavaScript Creative Commons Attribution 4.0 International UpdatedApr 10, 2020 -
PianoPlayer Public
A Java piano player app that is capable of playback, recording and handling VirtualPiano data
-
MusicSystem Public
A CLI program for manipulating compositions from VirtualPiano, as well as exporting them to MusicXML, MIDI and BMP.
-
OS1Kernel Public
A fully functioning OS Kernel capable of handling threads, semaphores, events and signals.
C++ MIT License UpdatedOct 12, 2019 -
Traveling-Salesman-Problem Public
Solving the Traveling Salesman Problem using the Nearest Neighbor heuristic and the Brute force method
C++ MIT License UpdatedDec 31, 2018





