Aydin62

livebook

Automate code & data workflows with interactive Elixir notebooks

criterion.rs

Statistics-driven benchmarking library for Rust

nalgebra

Linear algebra library for Rust.

cargo-deny

❌ Cargo plugin for linting your dependencies 🦀

rustsec

RustSec API & Tooling

cargo-geiger

Detects usage of unsafe Rust in a Rust crate and its dependencies.

teo

Schema-driven web server framework.

geomstats

Computations and statistics on manifolds with geometric structures.

indexify

A realtime and indexing and structured extraction engine for Unstructured Data to build Generative AI Applications

gxhash

The fastest hashing algorithm 📈

datafusion-comet

Apache DataFusion Comet Spark Accelerator

goldboot

Immutable infrastructure for the desktop!

langchain

Elixir implementation of an AI focused LangChain style framework.

coq-of-rust

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

og-image

An open graph image generator, by SavvyCal ✨

fenris

A library for advanced finite element computations in Rust

anton

Indexing for TON blockchain

TopoEmbedX

Representation Learning on Topological Domains

overreact

⚛️📈 Create and analyze chemical microkinetic models built from computational chemistry data. Crafted at the @geem-lab.

a11y-audit-elixir

Automated accessibility testing for Elixir web applications using axe-core.

modern_jetton

Deep-Temporal-Graph-Clustering

staking-in-tact

Staking Jetton token(ERC20 in TON) implement in Tact-lang

dioxus-lazy

Virtualized components for Dioxus

tonapi-rs

SDK for integrating TonAPI into Rust applications.

tvm-spec

TVM Instructions Specification

recurrency_baseline_tkg

A Baseline for Temporal Knowledge Graph Forecasting based on Recurrency of facts

tlb-rust-serialization

Rust macro library that allows to implement serialization of Rust structs into TON cells.

SCPD

official project repository

multiLAD

Official repository for "Laplacian Change Point Detection for Single-view and Multi-view Dynamic Graphs".