Pinned Repositories
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
jim-link
Short links creator
pioneer-pintask-plugin
Have a finger in every pie
priest
Priest, free online converter and formatter
visionary-pintask-plugin
Expand or collapse all cards in a list
vscode-lean4-code-actions
vscode-lean4-language-configuration
A custom language configuration for Lean 4 in VSCode
DenisGorbachev's Repositories
DenisGorbachev/vscode-lean4-code-actions
DenisGorbachev/vscode-lean4-language-configuration
A custom language configuration for Lean 4 in VSCode
DenisGorbachev/zenbox-docs
DenisGorbachev/awesome-effect-ts
DenisGorbachev/cyberbuddhism
DenisGorbachev/dafny
Dafny is a verification-aware programming language
DenisGorbachev/developer-content
Collection of Developer content for exploring, learning, and building in the Solana ecosystem.
DenisGorbachev/disputable-values-monitor
console & text alerts for possibly bad data reported to Tellor oracles
DenisGorbachev/effect-ts-schema
Modeling the schema of data structures as first-class values
DenisGorbachev/effect-ts-website
Source code for Effect's documentation website
DenisGorbachev/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
DenisGorbachev/gluon
A static, type inferred and embeddable language written in Rust.
DenisGorbachev/HVM
A massively parallel, optimal functional runtime in Rust
DenisGorbachev/inquirer-autocomplete-prompt
Autocomplete prompt for inquirer
DenisGorbachev/Kind
A next-gen functional language
DenisGorbachev/lake
Lean 4 build system and package manager with configuration files written in Lean.
DenisGorbachev/lean-auto
Experiments in automation for Lean
DenisGorbachev/lean-error-resolutions
DenisGorbachev/lean-mwe-go-to-definition
DenisGorbachev/lean4
Lean 4 programming language and theorem prover
DenisGorbachev/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
DenisGorbachev/mathlib4
The math library of Lean 4
DenisGorbachev/narrative-analysis
DenisGorbachev/next-utils
Next.js utilities
DenisGorbachev/purescript-backend-optimizer
Optimizing backend toolkit and modern ECMAScript backend for PureScript
DenisGorbachev/souffle-lang.github.io
Soufflé
DenisGorbachev/std4
Standard Library for Lean 4
DenisGorbachev/vizia-book
A guide for the Vizia GUI framework
DenisGorbachev/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
DenisGorbachev/workflowy
WorkFlowy API for Deno and Node