Pinned Repositories
-code-in-C-for-a-GPS-sensor
-Countdown-timer
this code enables a countdown
aiger-safety-property-examples
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
awesome-mentoring
A curated list of useful articles, books, videos and resources in order to excel as a great mentor.
awesome-scheme
A curated list of awesome Scheme resources and materials
awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
c-code-for-an-e-bike
haqq
Shariah-compliant web3 platform
node-redis
A high-performance Node.js Redis client.
Price-per-barrel-of-oil
To fetch the price per barrel of oil in JavaScript, we can use the Fetch API to make an HTTP request to an API that provides oil prices
colognesteve97's Repositories
colognesteve97/-Countdown-timer
this code enables a countdown
colognesteve97/node-redis
A high-performance Node.js Redis client.
colognesteve97/Price-per-barrel-of-oil
To fetch the price per barrel of oil in JavaScript, we can use the Fetch API to make an HTTP request to an API that provides oil prices
colognesteve97/-code-in-C-for-a-GPS-sensor
colognesteve97/aiger-safety-property-examples
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
colognesteve97/awesome-mentoring
A curated list of useful articles, books, videos and resources in order to excel as a great mentor.
colognesteve97/awesome-scheme
A curated list of awesome Scheme resources and materials
colognesteve97/awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
colognesteve97/c-code-for-an-e-bike
colognesteve97/haqq
Shariah-compliant web3 platform
colognesteve97/Haqq-Network
Islamic Coin
colognesteve97/Haqq-Testnets-Sync
This repo contains genesis files for the Haqq Testnets.
colognesteve97/llhttp
Port of http_parser to llparse
colognesteve97/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
colognesteve97/node-1
The calico/node container
colognesteve97/NodeBB
Node.js based forum software built for the modern web
colognesteve97/nodejs.org
The Node.js website.
colognesteve97/NodesBlocks
Validator Profile Introduction
colognesteve97/PQClean
Clean, portable, tested implementations of post-quantum cryptography
colognesteve97/quicksilver-mainnet
Quicksilver Mainnet Repository
colognesteve97/relayer
An IBC relayer for ibc-go
colognesteve97/stable-systems-checklist
An opinionated list of attributes and policies that need to be met in order to establish a stable software system.
colognesteve97/tenderduty
Notification tool for Cosmos/Tendermint validators, sends alerts when missing pre-commits
colognesteve97/validators-contest