Type definition package for textlint
A factory for kernel functions
textlint kernel is core logic by pure JavaScript.
Compute the sine of a double-precision floating-point number on [-π/4, π/4].
Compute the cosine of a double-precision floating-point number on [-π/4, π/4].
The official TypeScript library for the Kernel API
Sigmoid (hyperbolic tangent) kernel
Inverse incomplete beta function.
Incomplete beta function and its first derivative.
The polynomial kernel
Apply @textlint/kernel lint result to text.
The gaussian (radial basis function) kernel
AssemblyScript and WebAssembly acceleration kernel for bilig spreadsheet execution.
Manage onchain 7715 permissions
WebAssembly bindings for OxiLean
No description provided.
Compute the tangent of a double-precision floating-point number on [-π/4, π/4].
Get the name and version of a macOS release from the Darwin version
[](https://opensource.org/licenses/MIT) [](http://www.typescriptlang.org/) [![CircleCI](https://circleci.com/
LavaMoat kernel and utils
Microkernel Core for ObjectStack
Shared kernel
Ocap Kernel storage abstractions and implementations
MongoDB namespace parsing and validation
OxiLean kernel - The trusted computing base for type checking
OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 4
OxiLean meta layer - Metavar-aware WHNF, unification, type class synthesis, and tactics
OxiLean command-line interface
OxiLean elaborator - Surface syntax to kernel terms
OxiLean standard library
OxiLean code generator - LCNF-based compilation and optimization
OxiLean parser - Concrete syntax to abstract syntax
OxiLean linter - Static analysis and lint rules
OxiLean runtime - Memory management, closures, I/O, and task scheduling
OxiLean build system - Project compilation and dependency management