-
Veridapt
- Adelaide, Australia
-
15:13
(UTC +09:30) - @adzdavies28
Lists (1)
Sort Name ascending (A-Z)
Stars
Declare value and model invariants once, then derive validation, parsing, codecs, contracts, and test data.
Omnigent is an open-source AI agent framework and meta-harness: orchestrate Claude Code, Codex, Cursor, Pi, and custom agents — swap harnesses without rewriting, enforce policies and sandboxing, an…
Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…
Write once → compile to F#, TypeScript, Python, Java, C#. LLM-optimized syntax. Self-hosting.
Semantic F# for AI coding agents (Claude Code · Cursor · Copilot · Codex) — an MCP server that gives LLMs real FCS/FSAC compiler intelligence (find, check, types, rename) instead of grepping F#.
FsMcp is an idiomatic F# toolkit for building Model Context Protocol (MCP) servers and clients with type safety, computation expressions, and zero boilerplate.
* This is very opinionated project * Will make it compatible for both Fable and .NET * Will continue to add more general util functions
Fast and Accurate Code Search for Agents. Uses 99% fewer tokens than grep+read
Skills for Real Engineers. Straight from my .agents directory.
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…
Specula: An agentic tool for finding deep bugs in system code using TLA+
High-performance, AOT-friendly serialization for F# built around explicit schemas
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
Sage Mode for F# development — REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.
A SAFE-style template with Fable.Lit, Fable.Remoting and Giraffe
Create beautiful slides on the web using a coding agent's frontend skills
Property-based testing for web and terminal UIs
A sample pack of GitHub Agentic Workflows!
A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency