zjhmale

(∀ m. isMan(m) → isMortal(man)) → isMan(zjh) → isMortal(zjh)

Pinned Repositories

intellij-rust
Rust plugin for the IntelliJ Platform
Language:Kotlin4.5k 66 5.3k380
intellij-haskell
IntelliJ plugin for Haskell
Language:Scala1.3k 20 57194
idringen
a project manage tool for Idris
Language:Haskell17 1 71
intellij-clojure-pretty-symbol
Pretty symbols for your Clojure development with IntelliJ IDEA
Language:Kotlin39 2 192
intellij-haskell-conceal
Make your Haskell code more readable with IntelliJ IDEA-based IDEs
Language:Kotlin5 2 60
intellij-rainbow
Rainbow highlighting identifiers and delimiters for IntelliJ IDEA-based IDEs
Language:Kotlin69 4 3314
Ntha
The Ntha Programming Language
Language:Haskell93 7 30
vscode-ag
The Silver Searcher for Visual Studio Code
Language:TypeScript29 3 228
vscode-idris
Idris for Visual Studio Code
Language:JavaScript106 3 11121

zjhmale's Repositories

zjhmale/vscode-idris
Idris for Visual Studio Code
Language:JavaScript106 3 11121
zjhmale/intellij-rainbow
Rainbow highlighting identifiers and delimiters for IntelliJ IDEA-based IDEs
Language:Kotlin69 4 3314
zjhmale/cluster-launcher
Painless mocking cluster (etcd, nacos, apollo, etc.) for testing
Language:Go3 1 0
zjhmale/r2d2-influxdb
Rust Connection Pool for InfluxDB
Language:Rust3 1 51
zjhmale/bfx-hf-indicators-py
Language:Python1 1 0
zjhmale/checkthechain
ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains
Language:Python1 0 0
zjhmale/ckb-py
Python compiler for the CKB Virtual Machine
1 1 0
zjhmale/cliotp.rs
manage your OTP (one time password) in command line
Language:Rust1 1 1
zjhmale/code-claim-site
$CODE contract & claim site
Language:TypeScript1 0 0
zjhmale/contracts
Language:Solidity1 0 0
zjhmale/do.rs
Haskell like do notation for Rust
1 1 0
zjhmale/dot-vim
~/.vim and ~/.vimrc
Language:Vim script1 1 0
zjhmale/dubbo-go
Go Implementation For Apache Dubbo
Language:Go1 0 0
zjhmale/flamincome.app
Language:JavaScript1 0 0
zjhmale/frontend-v2
Web UI for V2 of Across
Language:TypeScript1 0 0
zjhmale/gleam
⭐️ A statically typed language for the Erlang VM
Language:Rust1 1 0
zjhmale/google-authenticator-rust
GoogleAuthenticator Rust google两步验证生成器
Language:Rust1 0 0
zjhmale/hardhat-fe
Hardhat plugin to develop smart contracts with Fe
Language:TypeScript1 0 0
zjhmale/influxdb-rust
InfluxDB Client for Rust
Language:Rust1 1 0
zjhmale/lockfree.rs
some lock free data structures
1 1 0
zjhmale/move
Language:Rust1 0 0
zjhmale/OIPs
OKChain Improvement Proposals
1 0 0
zjhmale/okchain-rust-sdk
Rust SDK for OKChain
Language:Rust1 1 0
zjhmale/solana-explorer-vscode
VsCode plugin for Solana Explorer https://explorer.solana.com/
Language:TypeScript1 1 01
zjhmale/SpaceVim
A community-driven modular vim distribution - The ultimate vim configuration
Language:Vim Script1 0 0
zjhmale/testcontainers-go
Testcontainers is a Golang library that providing a friendly API to run Docker container. It is designed to create runtime environment to use during your automatic tests.
Language:Go1 0 0
zjhmale/valgrind
port from https://repo.or.cz/valgrind.git
Language:C1 1 0
zjhmale/VimFMZ
FMZ rsync plugin for VIM
Language:Vim script1 0 0
zjhmale/websocket
Minimal and idiomatic WebSocket library for Go
Language:Go1 0 0
zjhmale/finta
Common financial technical indicators implemented in Pandas.
Language:Python0 0