xxx

Expert
@swr1bm86

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

vscode-idris. Idris for Visual Studio Code

107

Ntha. The Ntha Programming Language

91

intellij-rainbow. Rainbow highlighting identifiers and delimiters for IntelliJ IDEA-based IDEs

69

intellij-clojure-pretty-symbol. Pretty symbols for your Clojure development with IntelliJ IDEA

39

vscode-ag. The Silver Searcher for Visual Studio Code

28

idringen. a project manage tool for Idris

17

intellij-haskell-conceal. Make your Haskell code more readable with IntelliJ IDEA-based IDEs

6

reagent-hickory. an enhancement of using hickory to generate reagent style hiccup

4

cluster-launcher. Painless mocking cluster (etcd, nacos, apollo, etc.) for testing

3

r2d2-influxdb. Rust Connection Pool for InfluxDB

3

ADT. ADT support for Clojure

3

desert. a simple build tool for OCaml projects

2

letrec. letrec support for Clojure

2

cliotp.rs. manage your OTP (one time password) in command line

2

frontend-v2. Web UI for V2 of Across

1

hardhat-fe. Hardhat plugin to develop smart contracts with Fe

1

checkthechain. ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains

1

websocket. Minimal and idiomatic WebSocket library for Go

1

move. Rust

1

code-claim-site. $CODE contract & claim site

1

solana-explorer-vscode. VsCode plugin for Solana Explorer https://explorer.solana.com/

1

valgrind. port from https://repo.or.cz/valgrind.git

1

dot-vim. ~/.vim and ~/.vimrc

1

do.rs. Haskell like do notation for Rust

1

lockfree.rs. some lock free data structures

1

ripgrep.py. ripgrep python wrapper

1

vscode-kaleido-identifier. Kaleido Identifier for Visual Studio Code.

1

prop. port from https://repo.or.cz/prop.git

1
28
Apply