Reusing containers for faster serverless function execution - Masters Project @ Imperial College
☆21May 20, 2020Updated 6 years ago
Alternatives and similar repositories for refunction
Users that are interested in refunction are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 28, 2022Updated 4 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- ☆15Apr 9, 2022Updated 4 years ago
- Speak at React Native Amsterdam, submit your talk here!☆12Aug 1, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Service for Sails framework with Storage features [DEAD]☆10Mar 16, 2021Updated 5 years ago
- 📝 A markdown-flavored collection of things I've learned☆10Jul 19, 2018Updated 8 years ago
- Session types in Idris2!☆26Dec 14, 2020Updated 5 years ago
- Showcasing React Native + Firebase☆14Jan 5, 2023Updated 3 years ago
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- ZIO-inspired APIs for Kyo☆12Apr 18, 2024Updated 2 years ago
- ☆17Nov 23, 2024Updated last year
- db.shvm.in☆15Mar 3, 2026Updated 6 months ago
- Go types of schema.org ontology☆12Oct 13, 2024Updated last year
- 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.
- A toy version of Effect, scoped down to `Toyffect.gen`, `Context.Tag` and various "Toyffect" factories☆16Jul 26, 2025Updated last year
- Rust bindings for rdma-core☆18Apr 4, 2018Updated 8 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- A Tool For Identifying The Clues To Online Service Anomalies☆13Nov 13, 2025Updated 10 months ago
- Storage backend for Passwordless using Redis☆15Jul 24, 2018Updated 8 years ago
- ☆18Oct 9, 2023Updated 2 years ago
- Native TensorFlow bindings for Node.JS☆13Mar 23, 2017Updated 9 years ago
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆10Jun 12, 2020Updated 6 years ago
- Simple wrapper around Effect.gen that allows writing generator functions in a cleaner way.☆17Apr 27, 2024Updated 2 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.
- Device-mapper Deduplication Target for linux kernel 4.8☆12Dec 27, 2017Updated 8 years ago
- Flipper desktop plugin for react native redux logs☆13Mar 22, 2022Updated 4 years ago
- Compact prediction trees for fast sequence prediction using Machine Learning☆17Aug 4, 2021Updated 5 years ago
- A CLI app for taking simple notes without ever leaving the terminal.☆12Jan 7, 2019Updated 7 years ago
- LangBench applications and scripts☆14Jun 7, 2023Updated 3 years ago
- A Distributed Analysis and Benchmarking Framework for Apache OpenWhisk Serverless Platform☆12Dec 11, 2018Updated 7 years ago
- Minimal reactive JSX UI builder designed to be highly ergonomic with MVVM☆20Mar 3, 2023Updated 3 years ago
- A serverless bank application build on top of fission☆18Oct 4, 2018Updated 7 years ago
- The Plug Connect button, is a basic React Component button you can use to integrate Plug's Agent features for authenticating a user's ide…☆14Nov 9, 2022Updated 3 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.
- Typing the linear pi calculus in Agda☆30Mar 15, 2022Updated 4 years ago
- Tutorial series introducing Agda to the people at BCAM☆28Nov 29, 2021Updated 4 years ago
- A javascript library to run SQLite on the web.☆11Aug 11, 2023Updated 3 years ago
- PrivateSky main repository☆13Mar 21, 2023Updated 3 years ago
- tRPC-style Safe RPC methods for Cloudflare Durable Objects☆21Aug 6, 2025Updated last year
- Replicache Diff Server☆14Mar 8, 2021Updated 5 years ago
- Save / load named snapshots, useful for tests☆14Jul 12, 2026Updated 2 months ago