Left-pad strings with TypeSafe AI's Jev. For reasons.
☆85Oct 25, 2026Updated last week
Alternatives and similar repositories for jev-leftpad
Users that are interested in jev-leftpad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 9 years ago
- Enterprise Zero-Trust AI Security & Governance Gateway: Real-Time Prompt Injection Defense, Action Scoping, HITL Approvals, Post-Quantum …☆22Updated this week
- Local inference you can prove. A single-binary GGUF engine in C: serves, scores, and trains LoRA through the quantized weights it deploys…☆30Updated this week
- Open, free database of user submitted data for LLM hardware benchmarks.☆13Dec 26, 2025Updated 10 months ago
- Claude Code skill for searching royalty-free stock photos via the Pexels API☆13Jul 19, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Text status hosting to use with your own tools☆17Jan 10, 2026Updated 9 months ago
- iOS pager for Grok Build over Agent Client Protocol (ACP). Mac runs the agent; phone is the remote UI.☆20Jul 21, 2026Updated 3 months ago
- Write code your way while ensuring remote consistency.☆16Jul 3, 2026Updated 4 months ago
- Arcadeia is an open-source, self-hosted photo and video library. Find clips with animated previews, search filenames and descriptions, an…☆42Oct 19, 2026Updated 2 weeks ago
- Lossless long-term memory for a personal AI: never summarize, keep every line, put a timestamp on everything.☆168Sep 23, 2026Updated last month
- One command for file conversion: video, audio, images and docs. Wraps ffmpeg, ImageMagick, LibreOffice and pandoc, and runs offline.☆25Updated this week
- Unofficial CLI and MCP server for Lambda cloud GPU instances☆21Jan 14, 2026Updated 9 months ago
- Terminal tool to share your terminal history with anyone.☆16Feb 14, 2026Updated 8 months ago
- LLM public goods game☆11Feb 22, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Nook is a terminal markdown note editor written in Go with the concept of Focus Line: the line you are typing always stays in the middle …☆28Updated this week
- ☆52Oct 12, 2026Updated 3 weeks ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- ☆12Aug 2, 2015Updated 11 years ago
- typed/racket + effect system☆11Aug 31, 2025Updated last year
- Busy beaver machines with axiom-free Coq proofs: BB(7) σ > 3↑²⁰3, BB(8) > f_ω³(12), BB(9) > f_ω⁷(12), BB(10) f_(ω+1), BB(12) f_(ω+1)², BB…☆15Updated this week
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- A grumpy Gibson construct living in an office router. It only knows what the router can see.☆27Sep 17, 2026Updated last month
- Reliable transcription, with captions cut for every screen shape from one file. An open caption format, a video.js plugin with style pack…☆55Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 15 years ago
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated 3 weeks ago
- A straightforward Linq to GraphQL Client☆11Oct 27, 2026Updated last week
- ☆14Oct 21, 2026Updated 2 weeks ago
- Turn any input device into a dedicated macrodevice.☆13May 7, 2022Updated 4 years ago
- ☆13Jan 11, 2026Updated 9 months ago
- Official implementation (compression part) for paper: Numerically Accurate Hyperbolic Embeddings Using Tiling-Based Models☆12Dec 1, 2019Updated 6 years ago
- Yet another credential store 🔐☆17May 8, 2025Updated last year
- High-performance WebAssembly headless spreadsheet engine for web apps☆35Oct 15, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- One-shot Linux reminders that survive reboot and show up as desktop notifications☆18Oct 2, 2026Updated last month
- Unofficial minimal Windows launcher for Codex Desktop Control other devices☆13Sep 9, 2026Updated last month
- A simple raytracer written in lean☆13Jan 13, 2021Updated 5 years ago
- Plan9/9front drawterm with HIDPI scaling settings on macOS☆31Dec 28, 2025Updated 10 months ago
- The groupoid CwF of containers, in Cubical Agda☆11Dec 12, 2025Updated 10 months ago
- wine for 9☆17Oct 29, 2022Updated 4 years ago
- Project manager for opensource developers using Github.☆10Oct 18, 2026Updated 2 weeks ago