Lists (32)
Ai_agent
AI_Codegen
AI_interpretability
ai-lsp
AI_NLP
data_extraction
databases
datascience
dsl_ide
editor
ergo
expert_systems
formal_methods
Haskell
keyboard
logic_programming
personal_finance
pl
proof_asst
pyJS
scasp
scientific_computing
simple_blog_setups
symbolic&neural
talon-related
testing
theorem_proving
tools_thought
uiux
utils
webforms
workflow_automation
Stars
Hasty plotting for Altair, inspired by ggplot2's qplot.
Tool to help with learning svalboard typing
Property-based testing for web and terminal UIs
The most flexible control plane for AI Agent systems
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
just like spatz... but for svelte5, with shadcn-svelte, svelte-animations, svelte-superforms, stripe payments, subscriptions, content-filtering, and more.
A Claude or Codex skill for deliberate skill development during AI-assisted coding
A zero-config, fast and small (~3kB) virtual list (and grid) component for React, Vue, Solid and Svelte.
Coq based JSON-Schema to SMT system.
A focused launcher for your desktop - native, fast, extensible
Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
An experimental library for metaprogramming with algebraic effects and handlers
Val Town's LSP powered editor. A Codemirror LSP client implementation and LSP proxy and WebSocket server
Claude Code LSP: enhance your Claude Code experience with non-IDE dependent LSP integration.
Language Server integration for CodeMirror 6
A reliable and performant cached directory tree in rust that can notify changes without dropping events
A user-friendly, dependently-typed library for asking your users questions
Remove outdated compilation artefacts left by cabal v2-build
piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Beads - A memory upgrade for your coding agent