-
tokei
Count your code, quickly
-
two-face
Extra syntax and theme definitions for syntect
-
arborium-idris
Idris grammar for arborium (tree-sitter bindings)
-
kind2
A pure functional functional language that uses the HVM
-
project_init
Quickly initialize projects from a template
-
ephapax-proven
Safe Rust wrappers for formally verified Proven library via pure Zig FFI
-
noether
Abstract algebraic structures for Rust
-
ephapax-proven-sys
Raw FFI bindings to pure Zig implementation of Proven library (formally verified)
-
alga
Abstract algebra for Rust
-
idr2nix
Generate a Nix flake from an Idris 2 package
-
algebra
Abstract algebra for Rust
-
elba
package manager for Idris
-
tin-drummer
Command-line tool to find build artifacts and junk on your computer. Shatters records not glass.
-
quail
Programming Language
-
bang_notation
!-notation for Rust
-
the-type
specifying type within the expression, i.e. type annotation or type ascription.
-
hask-replace
Rename haskell modules at the speed of Rust
-
maize
programming language
Try searching with DuckDuckGo or on crates.io.