A Bonsai_term application for managing multiple processes
☆26Nov 3, 2026Updated last week
Alternatives and similar repositories for proctopus
Users that are interested in proctopus 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 Bonsai_term application for interactively viewing strace output☆132Nov 3, 2026Updated last week
- Some examples for bonsai_term☆24Nov 3, 2026Updated last week
- GADT-based field accessors and utilities☆18Nov 3, 2026Updated last week
- A library for building dynamic terminal apps, using bonsai☆232Nov 3, 2026Updated last week
- ☆14Jul 26, 2026Updated 3 months 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.
- A higher-level httpaf server interface☆12Aug 18, 2020Updated 6 years ago
- Library for parallel programming in OCaml and OxCaml☆14Nov 3, 2026Updated last week
- Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers…☆32Nov 5, 2026Updated last week
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated 7 months ago
- Frogger clone☆12Dec 28, 2025Updated 10 months ago
- OxCaml Parallelism☆45Nov 3, 2026Updated last week
- MoonGen is a fully scriptable high-speed packet generator built on DPDK and LuaJIT. It can saturate a 10 Gbit/s connection with 64 byte p…☆24Jun 9, 2026Updated 5 months ago
- ☆15Apr 2, 2025Updated last year
- The Python Proto Converter converts between protos in Python. Proto conversion is often needed when converting between Database Access Ob…☆17Dec 3, 2025Updated 11 months 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.
- OCaml HTTP Microframework☆25May 9, 2020Updated 6 years ago
- ☆64Oct 27, 2024Updated 2 years ago
- Adding `vau` with an immutable dynamic environment to Chez Scheme☆21Jul 15, 2026Updated 3 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆27Sep 11, 2024Updated 2 years ago
- CCS in C++☆26Jun 27, 2023Updated 3 years ago
- ☆14Jul 23, 2024Updated 2 years ago
- Unix core platform libraries for MirageOS☆14Mar 5, 2025Updated last year
- IO memory page library for Mirage backends☆11Mar 5, 2025Updated last year
- A C++ API for the C libwebsockets library☆10Feb 6, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Tracing library☆42Nov 3, 2026Updated last week
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 5 years ago
- Reference implementation for P3655☆11Apr 3, 2025Updated last year
- One week Domain-Driven Design (“DDD”) course given as part of Software Engineering Programme at Oxford University☆38Oct 15, 2026Updated 3 weeks ago
- The Package Calculus☆13Aug 5, 2026Updated 3 months ago
- An asynchronous single-consumer single-producer pipe for bytes☆18Aug 11, 2026Updated 3 months ago
- A simple terminal-based text editor written in Janet. [WIP]☆41Apr 16, 2023Updated 3 years ago
- An implementation of parsec-gaming for NixOS users☆14Oct 18, 2026Updated 3 weeks ago
- cl-onnx: Import pretrained ONNX models into Common Lisp and run them with Caten!☆12Dec 3, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Yet another implementation of fork&exec and related functionality☆13Nov 3, 2026Updated last week
- Libcurl wrapper for Janet.☆40Jan 26, 2026Updated 9 months ago
- A repository containing useful Sublayer Actions created by the Sublayer team and the community☆12Nov 19, 2025Updated 11 months ago
- Local semantic indexing and search for Emacs☆11Aug 23, 2025Updated last year
- A CLI for interacting with https://notado.app☆10Apr 24, 2026Updated 6 months ago
- Код для хакатона Лидеры Цифровой Трансформаци (Краснодар) 2023☆10Nov 11, 2023Updated 3 years ago
- Bring fusion to everyone☆16Feb 6, 2020Updated 6 years ago
Are these results useful?