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 Python client/master/worker system for distributing jobs in a cluster☆44Aug 8, 2015Updated 10 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Dec 10, 2018Updated 7 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 years ago
- Experiments in converting bzip2 API to be RPC-based☆14Aug 17, 2016Updated 9 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.
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- Eris distributed transactions☆53Apr 9, 2018Updated 8 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Feb 13, 2018Updated 8 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- A cookiecutter template that creates a basic Python setuptools project, which can be later on augmented with various optional accessorie…☆20Jul 16, 2021Updated 5 years ago
- A library for effects in Coq.☆65May 28, 2022Updated 4 years ago
- A UCI (Universal Chess Interface) chess engine written in the Rust programming language☆20Dec 24, 2016Updated 9 years ago
- Visualize your GitHub relationship using GitHub API v3 in JavaScript, Mathematica, Python or Scala.☆11Jul 15, 2015Updated 11 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.
- OCaml implementation of Facebook's graphql, library and server.☆21Feb 24, 2016Updated 10 years ago
- Opinionated letsencrypt acme client working via a ssh port forward.☆17Oct 7, 2024Updated last year
- ☆17Jul 17, 2023Updated 3 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆19Jan 14, 2019Updated 7 years ago
- exploring git☆10Jul 13, 2015Updated 11 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆11Jul 31, 2025Updated 11 months ago
- Seach maven artifacts from central repo in CLI☆20Mar 13, 2020Updated 6 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.
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- ☆12Jan 27, 2016Updated 10 years ago
- A Latex template for the NIT Trichy B.Tech (And others) thesis☆11May 11, 2016Updated 10 years ago
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- Monitor for any changes in your C/C++ files and automatically compiles and runs the program☆13Jun 25, 2015Updated 11 years ago
- An itree-like data-structure to additionally support internal non-determinism☆22Updated this week
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Unofficial Wunderlist API client library and CLI, written in go/golang.☆19Dec 11, 2018Updated 7 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.
- Fast and trainable tokenizer for natural languages relying on maximum entropy methods.☆22May 2, 2017Updated 9 years ago
- Minor customisation of the jurpopage project for use in the PCS course at DIKU☆18May 2, 2011Updated 15 years ago
- Marshal/Unmarshal interface for structs that can encode/decode themselves to URL query strings☆11Jun 6, 2018Updated 8 years ago
- OCaml hash-consing library☆55May 28, 2026Updated 2 months ago
- Reports the resource usage of Docker containers to InfluxDB☆39Dec 10, 2014Updated 11 years ago
- Simulator for the pioneering TX-2 computer☆30May 23, 2026Updated 2 months ago
- Grid/cluster job management system☆23Feb 12, 2018Updated 8 years ago