denisgorbachev Goto Github PK

alacritty

A cross-platform, OpenGL terminal emulator.

antidollar

Antidollar is your protection against hyperinflation of the United States Dollar

awesome-effect-ts

aws-swf-inactive-worker-bug

bloodlace

Bloodlace is "psychological poker" - everybody has an equal chance to win, depending only on mental abilities

casanostra

Casa Nostra is a game where you can make real money by cooperating with other players

checkmytrades

CheckMyTrades is a service for investors that allows them to check trader profitability

coda-js-client

conduit

A streaming data library

contracts

Shield Finance contracts

cryptotrading

Useful links for cryptocurrency traders

cryptozaur

Cryptozaur is a unified CLI for cryptocurrency exchanges (which is better than exchange UIs)

cyberbuddhism

dafny

Dafny is a verification-aware programming language

disputable-values-monitor

console & text alerts for possibly bad data reported to Tellor oracles

doc-gen4

Document Generator for Lean 4

documentation

donald

Solving math problems using Z3

effect-ts-schema

Modeling the schema of data structures as first-class values

effect-ts-website

Source code for Effect's documentation website

eips

The Ethereum Improvement Proposal repository

ex_fixer

Fix compiler warnings: prefixes unused variables, removes unused aliases, removes unused imports

exchange

ez

EZ is a programming language that is easy to read (zero notation)

factsheet

FactSheet is a database of fundamental research for cryptocurrencies

farm-builder

Farm Builder automates new yield farm deployment

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

firekeeper

The Firekeeper Saga is a game where you can win money by keeping your fire up longer than others

flows

generator-playbook-model