Avatar for PolyfdoR from gravatar.com

PolyfdoR

Username    Daftyon
Date joined   Joined

3 projects

matyos

Last released

MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine

cookix

Last released

The open-source topological-relational memory database. Reference implementation of the NoVectDB paradigm.

bring-parser

Last released

Parser for the Bring file format - modern configuration and package management
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page