xpe

fd

A simple, fast and user-friendly alternative to 'find'

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

KaTeX

Fast math typesetting for the web.

mlx

MLX: An array framework for Apple silicon

candle

Minimalist ML framework for Rust

sympy

A computer algebra system written in pure Python

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

grex

A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

watchexec

Executes commands in response to file modifications

criterion.rs

Statistics-driven benchmarking library for Rust

nalgebra

Linear algebra library for Rust.

pomegranate

Fast, flexible and easy to use probabilistic modelling in Python.

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

lalrpop

LR(1) parser generator for Rust

itertools

Extra iterator adaptors, iterator methods, free functions, and macros.

cargo-make

Rust task runner and build tool.

inkscape

Project Website: https://inkscape.org - Code Repository: https://gitlab.com/inkscape/inkscape - Draw freely. 🖌

once_cell

Rust library for single assignment cells and lazy statics without macros

gloo

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

postgrest-rs

Rust client for PostgREST

cq2

Document. Discuss. Decide.

hpmor

PDF, ePUB and Mobi versions of “Harry Potter and the Methods of Rationality”, from LaTeX source

squiggle

An estimation language

DeTeXt

iOS app that detects LaTeX symbols from drawings. Built using PencilKit, SwiftUI, Combine and CoreML for iOS 14(or greater) and macOS 11(or greater).

rete

An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'

JaynesProbabilityTheory

Exercise solutions and explanations for the book Probability Theory: The Logic of Science by E.T. Jaynes. Created by the reading group at r/jaynesprobability

metta

dioxus-spring

Animation framework for Dioxus

awesome-AIxFV

A curated list of AI-based tools for automating formal verification