Agile Law Execution Factory
☆29Oct 16, 2026Updated last week
Alternatives and similar repositories for ALEF
Users that are interested in ALEF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Apr 28, 2025Updated last year
- Proxy program designed to combat against basic bots that aren't a full browser.☆20Oct 13, 2020Updated 6 years ago
- An Elixir client for Cloudflare Durable Objects with WebSocket support☆12Mar 25, 2026Updated 6 months ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆19Oct 4, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Your AI's memory syncs across all devices. Context on laptop, phone, tablet—globally distributed on Cloudflare's edge network.☆17Mar 9, 2026Updated 7 months ago
- A cinematic, dashboard-first Obsidian vault — glass bento dashboards, Open Library reading tracker, career pipeline, and a three.js lo-fi…☆37Aug 24, 2026Updated last month
- [experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades☆19Updated this week
- Reverse-engineer Product Requirements (PRD) and Technical Specs (TSD) from existing code to enable Spec-Driven Development (SDD) for brow…☆13Dec 7, 2025Updated 10 months ago
- A streaming action language for computer-use agents. LLMs emit one JSON action per line; the executor runs each the moment its newline ar…☆20Aug 9, 2026Updated 2 months ago
- Chezmoi-managed dot files☆12Oct 14, 2026Updated last week
- PostgreSQL-native GraphRAG. Vector search, full-text, and knowledge-graph traversal in a single SQL query. No Neo4j. No Pinecone. No AGE.☆19Aug 29, 2026Updated last month
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 6 months ago
- A personal Cloudflare-hosted development environment. Work lives in conversations, not terminal tabs.☆18Jun 14, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Intro to using DSPy with Kuzu to enrich the data within the Nobel Laureate mentorship network☆16Sep 16, 2025Updated last year
- Auto-detect AMD GPUs on Windows/Linux and instantly get the correct HSA_OVERRIDE_GFX_VERSION for local AI (ROCm/HIP).☆17Sep 23, 2026Updated last month
- ☆14Aug 24, 2026Updated last month
- A Bootstrap plugin for Toasts, to show them with pure JS☆25Oct 1, 2026Updated 3 weeks ago
- RxDB Plugin based on FlexSearch implementation☆13Aug 3, 2023Updated 3 years ago
- 🤖 AIDevOS: AI-Driven Autonomous DevOps System | Multi-agent collaboration framework with DSPy integration for automated application deve…☆16Mar 25, 2026Updated 6 months ago
- A powerful starter template for your projects, designed to create a seamless partnership between you and coding agents. CLINE Starter lev…☆32Nov 17, 2024Updated last year
- Simple personal knowledge with LLM Wiki as foundation adding automated content ingestion from X and other sources.☆17Oct 13, 2026Updated last week
- Create bots for OBS and Twitch graphically☆14Jul 21, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Personal project for setting up an open source data warehouse.☆32Jul 11, 2025Updated last year
- doing a bunch of testing on effect streams (splitting)☆13Nov 20, 2025Updated 11 months ago
- ☆13Jun 25, 2026Updated 3 months ago
- A naive attempt at generating better prompts for opencode using DSPy☆17Nov 29, 2025Updated 10 months ago
- API client for fetching and comparing passages from legislation☆14Jun 29, 2026Updated 3 months ago
- Creating Generative AI Apps which work☆17Apr 14, 2025Updated last year
- Benchmark application to compare query latency of TypeScript ORMs.☆19Nov 5, 2025Updated 11 months ago
- 139 open-source projects that let AI click, type, scroll, and generally make a mess of your desktop — so you don't have to.☆16Aug 11, 2026Updated 2 months ago
- ☆16Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆30Oct 16, 2026Updated last week
- An Agent with Semantic Memory. This is an experiment for Neuro-Symbolic AI☆33Updated this week
- ⚡ Fast full-text search for Elixir☆17Jul 18, 2024Updated 2 years ago
- ☆13Feb 18, 2020Updated 6 years ago
- A tool to bridge the gap between asdf and Nix users.☆16Sep 6, 2025Updated last year
- A featherweight spec-driven development template with a Memory Bank, for Claude Code, GitHub Copilot and JetBrains Junie.☆68Sep 27, 2026Updated 3 weeks ago
- EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.☆23Updated this week