a little place for your deployments
☆47Dec 4, 2017Updated 8 years ago
Alternatives and similar repositories for hooknook
Users that are interested in hooknook 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 proof assistant.☆12Feb 19, 2016Updated 10 years ago
- GitHub Webhooks Made Easy!☆32Updated this week
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Eris distributed transactions☆53Apr 9, 2018Updated 8 years ago
- variant integration methods for the 1000 Genomes Project☆21Jan 16, 2018Updated 8 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.
- ☆17Jul 17, 2023Updated 2 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 9 months ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- The Stormpath Product Guides☆12May 10, 2017Updated 8 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- An HTTP log monitoring tool for your terminal☆23Jan 10, 2020Updated 6 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- An itree-like data-structure to additionally support internal non-determinism☆21Apr 17, 2026Updated 2 weeks ago
- Slides for a presentation/talk adapted from Tom Preston-Werner's essay "The Git Parable"☆13Aug 26, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Awesome auth library for Flask and Bottle web apps☆17Feb 18, 2017Updated 9 years ago
- An experimental 64bit single address space operation system kernel in rust.☆13Nov 16, 2015Updated 10 years ago
- A place to find blueprint for the builder in Buildcraft 6.x☆14Aug 26, 2014Updated 11 years ago
- FFI bindings to libudev☆10Feb 28, 2024Updated 2 years ago
- TURN Rest API Server☆13Feb 6, 2015Updated 11 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- This project contains simple methods to measure sample relatedness and identify potential swaps and contamination☆10Jan 8, 2016Updated 10 years ago
- This is a base template intended to help you create your own Kohana 3 Module. The intention is not to provide with a fix structure of how…☆12Mar 20, 2011Updated 15 years ago
- A system utility package for Torch.☆13Dec 22, 2017Updated 8 years 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.
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 2 years ago
- A minimal blog static site generator written in PHP☆18Dec 4, 2017Updated 8 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- Implementation of Nuprl's type theory in Coq☆47Feb 25, 2026Updated 2 months ago
- A framework for formally verifying distributed systems implementations in Coq☆622Jan 27, 2026Updated 3 months ago
- Rust Local Publish Subscribe☆15Oct 3, 2017Updated 8 years ago
- Write OpenCL kernels in rust.☆12Sep 28, 2013Updated 12 years ago
- Distributed project development inspired by the Linux kernel☆47Sep 7, 2017Updated 8 years ago
- Desktop shortcuts (.desktop) create a risk for code execution via social engineering☆10Feb 6, 2017Updated 9 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.
- Playing with (real?) audio beacon and xtracking devices☆12Nov 4, 2018Updated 7 years ago
- A macro to define lambda-like macros inline.☆17Sep 8, 2019Updated 6 years ago
- Packages odf and odf/ods that allow basic read-only access to Open Document Spreadsheets in Go (golang).☆16Oct 30, 2019Updated 6 years ago
- An attempt at verifying Zipf's law for programming languages☆17Nov 25, 2015Updated 10 years ago
- go-active-learning is a command line annotation tool for binary classification problem written in Go.☆15Apr 3, 2021Updated 5 years ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 8 years ago
- A little app I made that takes a text file and builds "Cards Against Humanity" cards from it as individual PNG files on your desktop, rea…☆10Jan 22, 2014Updated 12 years ago