4 search results for "tag:"language""

Showing 1 - 4
  1. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  2. labrys

    No documentation

    A toy language based on LLVM that implements the System Fω type-system
    compiler System F System Fω llvm type-system language
    Kate <kit.ty.kate@disroot.org>
    0.1
    MIT
    Used by 0 other packages
    09 Aug 2018
  3. nx-text
    Documentation
    Text processing and NLP extensions for Nx
    text-processing nlp natural-language-processing tokenization
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 2 other packages
    05 Jul 2025
  4. ocamlregextkit
    Documentation
    A regular expression toolkit for OCaml
    automata regular expressions regular languages regex library DFA NFA RE
    Dominic Too
    1.0.2
    GPL-3.0-or-later
    Used by 0 other packages
    30 Sep 2024