Dafny is a verification-aware programming language

Adaptable, fast automation for all

Notes, outlines, mind maps, decision-making, cheetsheets, documentation.

Maven Books

The Jakarta EE Platform project produces the Jakarta EE platform specification, which is an umbrella specification that aggregates all other Jakarta EE specifications.

A command line based editor inspired by Vim. Written in Nim.

DuckDB is an analytical in-process SQL database management system

🍻 Default formulae for the missing package manager for macOS (or Linux)

CDI specification

A curated list of awesome Clojure libraries and resources. Inspired by awesome-... stuff

Clojure Katas inspired by Alice in Wonderland

Exercism exercises in Clojure.

A set of exercises for learning Clojure

A community coding style guide for the Clojure programming language

This is the home of O'Reilly's Clojure Cookbook - http://clojure-cookbook.com

The Clojure programming language

An efficient fuzzy finder that helps to locate files, buffers, mrus, gtags, etc. on the fly for both vim and neovim.

🌸 A command-line fuzzy finder

This is a Vim configuration that gets you a similar experience as a full-featured IDE. This is accomplished using native vim features with the help of some plugins.

Abbreviation reminder plugin for Neovim 0.5

Minimal, fast, and extensible fuzzy finder.

A Vim plugin for more pleasant editing on commit messages

Tame the quickfix window.

An Implementation of the Jakarta RESTful Web Services Specification

Snippet plugin for vim/nvim that supports LSP/VSCode's snippet format.

A vim plugin for communicating with a language server

📚 A Neovim config designed from scratch to be understandable

Ostroga is kind of like harpoon...

VimDrawer is a Vim plugin to group related buffers in tabs automatically by the file name.