(∀ m. isMan(m) → isMortal(man)) → isMan(xxx) → isMortal(xxx)
vscode-idris. Idris for Visual Studio Code
107Ntha. The Ntha Programming Language
91intellij-rainbow. Rainbow highlighting identifiers and delimiters for IntelliJ IDEA-based IDEs
69intellij-clojure-pretty-symbol. Pretty symbols for your Clojure development with IntelliJ IDEA
39vscode-ag. The Silver Searcher for Visual Studio Code
28idringen. a project manage tool for Idris
17intellij-haskell-conceal. Make your Haskell code more readable with IntelliJ IDEA-based IDEs
6reagent-hickory. an enhancement of using hickory to generate reagent style hiccup
4cluster-launcher. Painless mocking cluster (etcd, nacos, apollo, etc.) for testing
3r2d2-influxdb. Rust Connection Pool for InfluxDB
3ADT. ADT support for Clojure
3desert. a simple build tool for OCaml projects
2letrec. letrec support for Clojure
2cliotp.rs. manage your OTP (one time password) in command line
2frontend-v2. Web UI for V2 of Across
1hardhat-fe. Hardhat plugin to develop smart contracts with Fe
1checkthechain. ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains
1websocket. Minimal and idiomatic WebSocket library for Go
1move. Rust
1code-claim-site. $CODE contract & claim site
1solana-explorer-vscode. VsCode plugin for Solana Explorer https://explorer.solana.com/
1valgrind. port from https://repo.or.cz/valgrind.git
1dot-vim. ~/.vim and ~/.vimrc
1do.rs. Haskell like do notation for Rust
1lockfree.rs. some lock free data structures
1ripgrep.py. ripgrep python wrapper
1vscode-kaleido-identifier. Kaleido Identifier for Visual Studio Code.
1prop. port from https://repo.or.cz/prop.git
1