A web app that learns to repair your command line mistakes.
☆15Jan 13, 2017Updated 9 years ago
Alternatives and similar repositories for NoFAQ
Users that are interested in NoFAQ are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-and-example-driven program synthesis for functional programming languages☆27Jun 30, 2019Updated 6 years ago
- A Memory-efficient Graph Store for Interactive Queries☆13Sep 1, 2021Updated 4 years ago
- ☆21Apr 11, 2025Updated last year
- ☆16Feb 7, 2026Updated 3 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆48Apr 22, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Async support library for Reason/Bucklescript☆16Mar 28, 2019Updated 7 years ago
- 随机性检测程序☆13Feb 15, 2017Updated 9 years ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Jun 17, 2020Updated 5 years ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Dec 2, 2021Updated 4 years ago
- Some helper types for go1: priority queue, slice wrapper.☆51Aug 11, 2020Updated 5 years ago
- ☆14Aug 5, 2021Updated 4 years ago
- A compact hash algorithm for CPUs and GPUs using OpenCL☆15Sep 26, 2020Updated 5 years ago
- Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper☆12Aug 13, 2021Updated 4 years ago
- WIP: Chronofold data structure in Purescript☆10Jun 24, 2021Updated 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.
- DEPRECATED: Starting with Android P the WiFi RTT is part of the public API! This Android library works as proxy to the hidden android.net…☆10Mar 8, 2018Updated 8 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- ☆11Oct 16, 2022Updated 3 years ago
- Quicksilver superpage management system☆10May 14, 2021Updated 5 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- A boilerplate for Responsive DOM based Open Web Games.☆13Aug 4, 2016Updated 9 years ago
- Wait-free ring buffer for inter-thread communication using C++11 atomics☆18Mar 17, 2015Updated 11 years ago
- Helpers to evaluate elixir functions at compile time instead of runtime☆14Sep 25, 2018Updated 7 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.
- ☆14Apr 26, 2022Updated 4 years ago
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- A c++ implementation of the Two-Pass Pairing Heap data structure.☆11Oct 9, 2016Updated 9 years ago
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago
- A collection of workload implementations for the LDBC SNB benchmark driver☆20Jun 7, 2021Updated 4 years ago
- ☆10Sep 20, 2019Updated 6 years ago
- Yeoman generator for scaffolding out a basic web project.☆85May 15, 2015Updated 11 years ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 8 years ago
- Using social media to steer web archiving and curation.☆18Nov 20, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A demonstration of a production-suitable build pipeline for client-side BuckleScript☆28Aug 6, 2018Updated 7 years ago
- Transform and writable streams with concurrent processing☆12May 29, 2016Updated 9 years ago
- Tired of not getting VTO? Well now you can get all the VTO.☆16Feb 14, 2025Updated last year
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆16Apr 8, 2017Updated 9 years ago
- Archive of Windows Universal Samples repo from //build 2015. "This repo contains the samples that demonstrate the API usage patterns for …☆13Apr 16, 2022Updated 4 years ago
- Demonstration of typographic possibilities with and implementation of the new variable font format.☆15Jun 28, 2017Updated 8 years ago
- Common Test hooks to retry the last failing cases // Now built in Rebar3☆14Nov 15, 2017Updated 8 years ago