|
|
Emacs Lisp |
18 |
Flycheck syntax checker for hdevtools |
Aug 21, 2019 |
|
|
Emacs Lisp |
8 |
Mercury syntax checker for Flycheck |
Jan 13, 2023 |
|
|
None |
259 |
:horse: Tutorial for the Pony programming language |
Dec 02, 2022 |
|
|
Emacs Lisp |
56 |
Clojure syntax checker (via Joker) for flycheck |
Feb 07, 2023 |
|
|
Emacs Lisp |
32 |
Flycheck syntax checker using clang-tidy |
Jul 27, 2022 |
|
|
Pony |
131 |
:horse: A simple dependency manager for the Pony language. |
Dec 01, 2021 |
|
|
Emacs Lisp |
2 |
Falco Rules Syntax Checker for Emacs, Using Flycheck |
Jun 14, 2023 |
|
|
Pony |
34 |
Pony package for parsing, manipulating, and compiling Pony code. :horse: :horse: |
Jan 20, 2022 |
|
|
Pony |
184 |
:horse: The Pony toolchain multiplexer |
Nov 25, 2022 |
|
|
None |
12 |
:horse: Pony language plugin for Sublime Text 2/3 |
Aug 16, 2022 |
|
|
Shell |
3 |
:horse: Information for Pony contributors |
Feb 10, 2022 |
|
|
Pony |
4 |
:horse: SSL library for Pony |
Nov 02, 2022 |
|
|
Shell |
3 |
:horse: Documentation generator for Pony |
Jul 25, 2022 |
|
|
Emacs Lisp |
32 |
:horse: Pony syntax highlighting, Code formatting, Playground and more things for Emacs. |
Mar 31, 2022 |
|
|
Emacs Lisp |
6 |
hledger checker for flycheck |
Mar 21, 2022 |
|
|
Emacs Lisp |
58 |
Flycheck checker for gometalinter |
Jan 27, 2023 |
|
|
Emacs Lisp |
2 |
Flycheck checker for TLA+ |
Mar 01, 2019 |
|
|
Emacs Lisp |
2 |
Flycheck checker for standardrb |
May 08, 2023 |
|
|
Pony |
12 |
:horse: Tool for modifying the "standard pony" changelogs |
Jul 18, 2022 |
|
|
Python |
3 |
:horse: Generates documentation for Pony libraries |
Nov 08, 2022 |
|
|
YASnippet |
2 |
:horse: YASnippet Pony snippets for Emacs |
Feb 01, 2022 |
|
|
Shell |
59 |
:horse: RFCs for changes to Pony |
Jul 06, 2022 |
|
|
Emacs Lisp |
6 |
:horse: A Spacemacs layer for Pony |
Jan 14, 2020 |
|
|
Pony |
2 |
An incremental rehashing hash table data structure for the Pony language. :horse: :book: |
Feb 02, 2024 |
|
|
Pony |
179 |
:horse: Pony dependency manager tool |
Nov 30, 2022 |
|
|
Pony |
7 |
:horse: Pony parallel processing library |
Nov 14, 2022 |
|
|
Pony |
57 |
:horse: Pure Pony Kafka client |
Nov 23, 2022 |
|
|
Pony |
6 |
A JSON library for the Pony language, tuned for flexibility and performance. :horse: :arrow_heading_up: |
May 27, 2022 |
|
|
Emacs Lisp |
7 |
Flycheck support for the Pyre type checker |
Apr 26, 2021 |
|
|
Emacs Lisp |
5 |
Flycheck checker for the MMark markdown processor |
Nov 01, 2022 |
|
|
Emacs Lisp |
40 |
Flycheck checker for golangci-lint |
May 23, 2023 |
|
|
Pony |
37 |
Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language. :horse: :left_right_arrow: |
May 07, 2022 |
|
|
Pony |
4 |
:horse: A simple logging library for Pony |
Nov 21, 2022 |
|
|
Shell |
2 |
:horse: Tool for working with Pony RFCs |
Mar 29, 2023 |
|
|
Emacs Lisp |
11 |
A Flycheck checker difinition for ClangCheck. |
Feb 23, 2022 |
|
|
Emacs Lisp |
40 |
Google C++ Style checker for Flycheck |
Mar 05, 2022 |
|
|
Emacs Lisp |
38 |
Flycheck checker for elisp package metadata |
Apr 23, 2023 |
|
|
Emacs Lisp |
13 |
Typescript TSLint error checker for Flycheck |
Jan 28, 2023 |
|
|
Emacs Lisp |
18 |
A Flycheck checker for GNU Guile |
Mar 13, 2023 |
|
|
CSS |
4 |
Slides for my talk on Pony. :information_source: :horse: |
Aug 05, 2021 |
|
|
Pony |
23 |
:horse: Pony library for building HTTP server applications. |
Sep 12, 2022 |
|
|
Pony |
14 |
:horse: A parsing expression grammar package for Pony |
May 27, 2022 |
|
|
Pony |
4 |
:horse: Perl compatible regular expression support for Pony |
May 07, 2022 |
|
|
Pony |
38 |
:horse: Pony implementation of http://www.reactive-streams.org/ |
May 27, 2022 |
|
|
Pony |
24 |
Safe Pony FFI wrapper for the libsodium cryptography library. :horse: :closed_lock_with_key: |
Feb 08, 2022 |
|
|
Pony |
7 |
Pony library for declaring and executing PEGs. :horse: :stars: |
Jan 18, 2021 |
|
|
None |
53 |
:horse: A cookbook style book of patterns for Pony |
Aug 02, 2022 |
|
|
Emacs Lisp |
11 |
Async indentation checker and flycheck frontend |
Nov 23, 2022 |
|
|
C |
5169 |
:horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language |
Dec 02, 2022 |
|
|
C++ |
2 |
:horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language |
May 10, 2020 |