Control VMs, containers and other machines with Python, leverage live snapshots
☆23Jan 27, 2026Updated 4 months ago
Alternatives and similar repositories for fingertip
Users that are interested in fingertip are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Postgresql capture data change software in Rust to allow realtime websockets☆12Sep 24, 2024Updated last year
- Byeol Programming language.☆10Updated this week
- 16pixels.css is a set of CSS rules to ensure consistent 16 pixels based typography. Pixels are used for font sizes and line heights, as w…☆25Apr 1, 2025Updated last year
- Converts provided SVG to bitmap and slices it into tiles for use e.g. in Leaflet. Supports UTFGrid.☆23Apr 15, 2016Updated 10 years ago
- How to build a security camera with a Raspberry Pi☆10Jun 1, 2026Updated last 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.
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆19Jan 13, 2025Updated last year
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 3 years ago
- Filesystem abstraction layer☆11Feb 17, 2026Updated 3 months ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- The Stroscot Programming Language☆12Jan 15, 2024Updated 2 years ago
- POWER-KI programming language for Intelligent Applications (IA)☆17May 15, 2026Updated 3 weeks ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- Easy-to-use, blazing-fast programming language.☆13Jul 17, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A demonstration of ways you write dynamic web pages without using Javascript☆15Apr 20, 2022Updated 4 years ago
- ☆11Aug 9, 2016Updated 9 years ago
- Dynamically typed interpreted programming language written in Rust☆11Feb 3, 2026Updated 4 months ago
- Contains RabbitMQ-based transport for establishing a net of loosely coupled microservices with a simple RPC-style calling interface using…☆10May 21, 2026Updated 3 weeks ago
- Clean, Direct, Easy to Scale solution to Node Microservice Framework☆11Sep 30, 2015Updated 10 years ago
- Per-process Network Firewall/Rate Limiter/Monitor for Linux Desktop☆14Jan 9, 2023Updated 3 years ago
- Kiwi operating system☆16Jan 12, 2025Updated last year
- Cross-Platform, Object-Oriented Programming language. With Kookaburra you can choose between the powerful CLI, or start coding with its' …☆11Oct 3, 2024Updated last year
- The go-to FirewallD CLI app.☆16May 23, 2026Updated 3 weeks 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.
- The Flyte data-sidecar that helps move the input and output data intelligently between containers☆10Oct 9, 2023Updated 2 years ago
- lite-net as a web app with authentication and privacy; simplest-possible note taking app for network and non-linear thinking.☆13Apr 15, 2020Updated 6 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- Lightweight LoRaWAN network server☆15Jan 30, 2025Updated last year
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 2 months ago
- Kari, an embeddable programming language, written in and for Rust☆29Jan 6, 2023Updated 3 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- Download latest wind data for the Earth global map.☆10Jan 18, 2022Updated 4 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.
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- OCaml implementation of histogram-approximation algorithm☆16Oct 28, 2022Updated 3 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- ☆10Sep 11, 2020Updated 5 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago