Docs.rs

A high-performance, dependency-free mathematical and verification engine for Rust. Includes SDP solvers, Moment-SOS hierarchies, Exact arithmetic, Symbolic calculus, SI dimensional units, and Lean 4 bridges.

Abstract Syntax Tree definition for the Boa JavaScript engine.

ECMAScript parser for the Boa JavaScript engine.

A toy neural network library for educational purposes

String interner for the Boa JavaScript engine.

Garbage collector for the Boa JavaScript engine.

ICU4X data provider for the Boa JavaScript engine.

Macros for the Boa JavaScript engine.

Boa is a Javascript lexer, parser and compiler written in Rust. Currently, it has support for some of the language.

Shared parser helpers for Rust attribute DSLs built from paths and dot-call chains.

Package set abstraction + nixpkgs bridge + tend-driven tatara-lisp mirror — the tatara equivalent of nixpkgs

Optimized in-memory Lisp interpreter for tatara — evaluates Sexp to Value, produces typed Derivations, composes with tatara-nix realizers

Nix's academic essence, re-expressed in Rust + Lisp. Derivation, StorePath, Module, Overlay, Flake — all typed, all Lisp-authorable via #[derive(TataraDomain)], all attestable via BLAKE3.

NixOS-equivalent — typed SystemConfig deriving TataraDomain, activation synthesizer, Linux-kernel + bootloader + services + users + filesystems, composed via tatara-nix module fixpoint

A tool to build whole-program LLVM bitcode files