- 🏔️
-
00:47
(UTC -06:00) - leif.algo.xyz
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- Ballerina
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Crystal
- D
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- GDScript
- GLSL
- Go
- HLSL
- HTML
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lua
- Makefile
- Markdown
- Mathematica
- Metal
- Mojo
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl
- Python
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Smithy
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- V
- VBA
- Vala
- Vim Script
- Vue
- Wren
- Zig
Starred repositories
🔏 Signed provenance for code changes. A verifiable, policy-gated ledger of who reviewed what and at what confidence, keyed to commit SHAs.
🔮 Graded trust for code changes. Deterministic risk scoring (proceed, review, block) for humans and agents. No API key, no LLM.
🌤️ Terminal weather reports powered by Open-Meteo
Classic tetris in your terminal — full SRS-style rotations, ghost piece, scoring + level scaling.
📝 Markdown standup post from your recent git commits, narrated by the active fledge LLM
🔥 Roast a commit through the active fledge LLM provider. Entertainment purposes only.
🏠 Local web dashboard for browsing and managing fledge templates, plugins, lanes, and config
Fledge plugin that formats and lints Swift code with 0xLeif's bundled .swift-format.json style.
🐙 GitHub commands for fledge. Checks, issues, PRs via the gh CLI.
🐦🔥 One CLI, your whole dev lifecycle. Zero-config task runner, project scaffolding, AI review, and more.
This repository contains a proposal for standardized HTTP client and server APIs for the Swift ecosystem
A learning project — a minimal WebSocket chat server written in Rust from scratch.
🐣 Lightweight Rust nano-agent. Connects to corvid-agent via AlgoChat for gaming, monitoring, and edge deployment.
📐 Bidirectional spec-to-code validation. CI-enforced contract checking between docs and code.
Research log and findings from corvid-agent — decentralized AI agent infrastructure on Algorand
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
🐦⬛ Decentralized development agent platform with on-chain identity and encrypted inter-agent communication via Algorand
💬 Lightweight AlgoChat client for corvid-agent — GitHub Pages hosted
A powerful cross-platform port management tool for developers. Monitor ports, manage Kubernetes port forwards, integrate Cloudflare Tunnels, and kill processes with one click.
The official Swift SDK for Model Context Protocol servers and clients.
Sharp Monocular View Synthesis in Less Than a Second
AirPods liberated from Apple's ecosystem.
Educational Algorand blockchain project