a little place for your deployments
☆46Dec 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:
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- a Python client/master/worker system for distributing jobs in a cluster☆44Aug 8, 2015Updated 11 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Jajcus' Jabber to IRC GateWay☆11May 7, 2011Updated 15 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆17Feb 13, 2018Updated 8 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- Experiments in converting bzip2 API to be RPC-based☆14Aug 17, 2016Updated 10 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Apr 17, 2018Updated 8 years ago
- A simple standalone Finagle stats viewer☆22Aug 28, 2013Updated 13 years ago
- A library for effects in Coq.☆66May 28, 2022Updated 4 years ago
- Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]☆12Feb 2, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A UCI (Universal Chess Interface) chess engine written in the Rust programming language☆20Dec 24, 2016Updated 9 years ago
- Tweets annotated with coarse-grained sense labels (supersenses)☆13Jun 13, 2014Updated 12 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- FunTAL: mixing a functional language with assembly.☆41Jun 5, 2017Updated 9 years ago
- Opinionated letsencrypt acme client working via a ssh port forward.☆17Oct 7, 2024Updated 2 years ago
- Command line runner for Wai apps (using Warp) with TLS, CGI, socket activation & graceful shutdown | now on https://codeberg.org/valpacke…☆12Oct 1, 2022Updated 4 years ago
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆19Jan 14, 2019Updated 7 years ago
- [DEPRECATED] Port of Dean Camera's LUFA USB framework to NXP LPC1343☆10Mar 7, 2012Updated 14 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OCaml implementation of Facebook's graphql, library and server.☆21Feb 24, 2016Updated 10 years ago
- TextMate support for Haskell☆53Apr 22, 2021Updated 5 years ago
- ☆17Jul 17, 2023Updated 3 years ago
- The Stormpath Product Guides☆12May 10, 2017Updated 9 years ago
- A server for running Fay examples.☆12Nov 7, 2013Updated 13 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- My personal website☆12Updated this week
- AI-powered Thunderbird addon that automatically sorts emails into your custom folders/categories using AI. Fully customizable with your o…☆15Updated this week
- A pager similar to less, but smarter☆25Dec 29, 2020Updated 5 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.
- A Logical Relation for Martin-Löf Type Theory in Agda☆11Jul 31, 2025Updated last year
- a ducttape workflow for neural machine translation☆14Mar 23, 2021Updated 5 years ago
- Code for the paper Faster Phrase-Based Decoding by Refining Feature State☆14Jan 9, 2023Updated 3 years ago
- ☆13Oct 1, 2013Updated 13 years ago
- Environment Variables for Humans™☆112Jul 22, 2019Updated 7 years ago
- A Python wrapper for the Cosm/Pachube v2 API, using the twisted networking framework☆12Jan 2, 2014Updated 12 years ago
- Reports the resource usage of Docker containers to InfluxDB☆38Dec 10, 2014Updated 11 years ago