Lib.rs

› Search #abstract-algebra #tree-sitter #algebra #math #statistics #cloc #monoid

  1. tokei

    Count your code, quickly

    v14.0.0 13K #cloc #statistics #cli

  2. arborium-agda

    Agda grammar for arborium (tree-sitter bindings)

    v2.4.7 #syntax-highlighting #tree-sitter #agda

  3. kind2

    A pure functional functional language that uses the HVM

    v0.3.10 190 #proof-assistant #type-theory #language #proof-language

  4. noether

    Abstract algebraic structures for Rust

    v0.3.0 300 #abstract-algebra #math #algebra #scalar

  5. alga

    Abstract algebra for Rust

    v0.9.3 243K #abstract-algebra #monoid #math #algebra

  6. agda-tree

    A post-processing tool for html/*.tree produced by agda

    v0.3.5 550 #tree #post-processing #agda #producing #html #literate-programming #forester

  7. algebra

    Abstract algebra for Rust

    v0.2.0 #abstract-algebra #monoid #math

  8. nar

    Narc, a dependently-typed programming language with dependent pattern matching

    v0.0.8 #pattern-matching #programming-language #agda #dependently-typed #documentation #narc

  9. agda-mode

    Accessing Agda's interaction mode via command line, in Rust

    v0.1.8 #agda #mode #command-line #accessing #interaction

  10. tree-sitter-agda

    Agda grammar for tree-sitter

    v1.3.3 #tree-sitter #agda #incremental-parser

    11. Try searching with DuckDuckGo or on crates.io.

  11. gitig-rs

    Generate .gitignore files from the command-line

    v23.4.0 #gitignore #config #git

  12. agda-tac

    Agda - Tactical And Comprehensible

    v0.1.5 #agda #agda-mode #command-line #tactic #external #tactical #comprehensible #github-actions #toy #blog

  13. maize

    programming language

    v0.1.1 #functional-programming #haskell #language #agda