Pinned Repositories
create-rust-github-repo
All-in-one tool for creating a new project. It creates a new repository, clones it locally, initializes the project, copies the configs from a pre-existing directory.
cryptozaur
Cryptozaur is a unified CLI for cryptocurrency exchanges (which is better than exchange UIs)
ex_fixer
Fix compiler warnings: prefixes unused variables, removes unused aliases, removes unused imports
gym-rex
REX is an OpenAI Gym environment for simulating a cryptocurrency exchange
HopfieldNetwork
An example of Hopfield network in PHP
pioneer-pintask-plugin
Have a finger in every pie
priest
Priest, free online converter and formatter
stub-macro
visionary-pintask-plugin
Expand or collapse all cards in a list
vscode-lean4-code-actions
DenisGorbachev's Repositories
DenisGorbachev/disputable-values-monitor
console & text alerts for possibly bad data reported to Tellor oracles
DenisGorbachev/next-utils
Next.js utilities
DenisGorbachev/workflowy
WorkFlowy API for Deno and Node
DenisGorbachev/dafny
Dafny is a verification-aware programming language
DenisGorbachev/awesome-effect-ts
DenisGorbachev/effect-ts-website
Source code for Effect's documentation website
DenisGorbachev/effect-ts-schema
Modeling the schema of data structures as first-class values
DenisGorbachev/HVM
A massively parallel, optimal functional runtime in Rust
DenisGorbachev/purescript-backend-optimizer
Optimizing backend toolkit and modern ECMAScript backend for PureScript
DenisGorbachev/vscode-lean4-language-configuration
A custom language configuration for Lean 4 in VSCode
DenisGorbachev/inquirer-autocomplete-prompt
Autocomplete prompt for inquirer
DenisGorbachev/zenbox-docs
DenisGorbachev/lean4
Lean 4 programming language and theorem prover
DenisGorbachev/lake
Lean 4 build system and package manager with configuration files written in Lean.
DenisGorbachev/lean-mwe-go-to-definition
DenisGorbachev/mathlib4
The math library of Lean 4
DenisGorbachev/std4
Standard Library for Lean 4
DenisGorbachev/Kind
A next-gen functional language
DenisGorbachev/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
DenisGorbachev/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
DenisGorbachev/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
DenisGorbachev/lean-error-resolutions
DenisGorbachev/narrative-analysis
DenisGorbachev/cyberbuddhism
DenisGorbachev/doc-gen4
Document Generator for Lean 4
DenisGorbachev/mm-lean4
Lean 4 Metamath verifier
DenisGorbachev/lean4-rename-mwe
DenisGorbachev/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
DenisGorbachev/zenbox-util
DenisGorbachev/metawomen-docs