Plugin for turning notes into runnable, typed, and reproducible polyglot workspaces
☆34Aug 31, 2026Updated last month
Alternatives and similar repositories for lotus
Users that are interested in lotus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rocq formalisation of the lambda calculus with partial substitutions☆52Oct 16, 2026Updated last week
- Lean 4 hypervisor memory ownership model with machine-checked isolation proofs☆91Oct 18, 2026Updated last week
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated last year
- L4Ka::Afterburner virtualization project☆17Oct 13, 2011Updated 15 years ago
- ☆15Jun 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Projects with plugin system implemented using WebAssembly☆17Jul 1, 2022Updated 4 years ago
- In-session self-improvement skill for Claude Code. Reviews the conversation for corrections and patterns, then suggests skill/CLAUDE.md/m…☆23Apr 30, 2026Updated 5 months ago
- PowerPC FSI Debugger☆18Apr 28, 2026Updated 5 months ago
- L4Ka::IDL4 Compiler☆20Sep 1, 2015Updated 11 years ago
- Creates a GDB RSP Server <-> XBOX XBDM bridge for debugging with the original XBOX devkit☆23Oct 8, 2026Updated 2 weeks ago
- Sharded queue☆12Mar 3, 2026Updated 7 months ago
- ☆31Jul 8, 2026Updated 3 months ago
- Custom scripts for nerd-dictation that i use for programming☆14Dec 5, 2023Updated 2 years ago
- Universal Nintendo(R) PowerPC bootloader☆25Oct 16, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experimental PlayStation 2 shell, native runtime, SDK and application platform.☆46Aug 31, 2026Updated last month
- Simple drawing app using PencilKit☆12Aug 12, 2020Updated 6 years ago
- NotebookLM on steroids — purpose-built for security researchers.☆29Jun 15, 2026Updated 4 months ago
- Obsidian Vault, which links together Japanese Kanji by their constituents.☆24Feb 2, 2026Updated 8 months ago
- XSS-Freak is an xss scanner fully written in python3 from scratch. it is one of its kind since it crawls the website for all possible lin…☆15Nov 25, 2019Updated 6 years ago
- Claude Code skill + 18 AI agents for Android & iOS mobile app security audits. OWASP MASVS/MASTG-aligned, with adversarial exploitation c…☆21Oct 8, 2026Updated 2 weeks ago
- Windows Disk Management wrapping in Python☆13Jun 8, 2020Updated 6 years ago
- XSS payloads for bypassing WAF. This repository is updating continuously.☆10Aug 8, 2021Updated 5 years ago
- Just some CSS I used for my Obsidian theme. Some people asked for it, so here it is.☆30Aug 10, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean Companion to Axler's Linear Algebra Done Right☆30Oct 11, 2026Updated 2 weeks ago
- Compile OCaml to standalone ANSI C file☆54Apr 15, 2026Updated 6 months ago
- ☆60Jul 21, 2025Updated last year
- A basic VNC Client in Swift☆23Sep 15, 2015Updated 11 years ago
- An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites…☆16Oct 8, 2022Updated 4 years ago
- AVVPNService simplifies setup of the VPN (IPSec or IKEv2)☆16Jul 27, 2021Updated 5 years ago
- 📚 (Merged) Formal proofs of "An Infinitely Large Napkin"☆29Aug 1, 2026Updated 2 months ago
- This repository contains silent XMRig installer and it's configurator☆49Oct 31, 2024Updated last year
- XSS Fuzz Swiss Knife on any URI☆15Aug 3, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Minimal macOS menu bar app that displays ping results as a compact visualization.☆11Dec 21, 2024Updated last year
- See all your running apps and installed apps on your menu bar.☆12Jul 29, 2025Updated last year
- A Swift SSH framework that wraps libssh2.☆24Nov 11, 2021Updated 4 years ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆43Aug 25, 2025Updated last year
- Real-Time Intrusion Detection and Prevention with Neural Network in Kernel using eBPF☆26Apr 9, 2024Updated 2 years ago
- Gather meta information from chrome web store.☆11Apr 13, 2021Updated 5 years ago
- A framework for the detection of COSI vulnerabilities / XS-Leaks☆14Mar 29, 2023Updated 3 years ago