Simple demo to compute your own NeuralHash on-device.
☆17Mar 9, 2023Updated 3 years ago
Alternatives and similar repositories for compute-your-own-neuralhash
Users that are interested in compute-your-own-neuralhash are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Sep 9, 2021Updated 5 years ago
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Experimental Quantum Computer Simulator + Quantum Chess Implementation☆19Jan 4, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- A simple shoot 'em ups style game using Rust's Bevy crate https://play.marcoinacio.com☆15Feb 25, 2024Updated 2 years ago
- A parser for files in the Unicode database☆16Nov 17, 2019Updated 6 years ago
- A WebExtension for users of synchronized reading lists to add a Wikimedia wiki page from the browser.☆17Apr 23, 2020Updated 6 years ago
- Qute: a dependency learning QBF solver.☆17Mar 31, 2026Updated 5 months ago
- Text to IPA converter in JavaScript. Uses code from https://github.com/surrsurus/text-to-ipa☆14Jul 14, 2024Updated 2 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- Unicode-only CJKV IDS data☆15Aug 9, 2024Updated 2 years ago
- A collection of fun and interesting words in English used in the Insanity Jam's Game Idea Generator☆13Sep 8, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Word lists categorized approximately by parts of speech. Parsed from open source lists as shown in details and sources. WARNING: Not suit…☆10Oct 28, 2023Updated 2 years ago
- dmenu is an efficient dynamic menu for X. This is a fork with added functionalities.☆10Sep 27, 2018Updated 8 years ago
- A Python module for retrieving script types of writing systems including alphabets, abjads, abugidas, syllabaries, logographs, featurals …☆15Aug 21, 2026Updated last month
- Estimate the number of legal chess positions☆14Jan 14, 2021Updated 5 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- An IDA processor for eBPF bytecode☆71Nov 7, 2024Updated last year
- A repository of words in multiple languages sorted by their frequency☆13Sep 1, 2023Updated 3 years ago
- Various tools, PoCs and experiments related to my blog at https://www.forrest-orr.net/☆42Jul 22, 2021Updated 5 years ago
- Rates a password from 0-10 based on length and variying levels of complexity.☆12Sep 10, 2013Updated 13 years ago
- 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 component-based CJK character search engine☆14Aug 9, 2024Updated 2 years ago
- A nicely typeset table of the 100 most common radicals in Chinese characters☆16Aug 31, 2026Updated 3 weeks ago
- Apple PCC research☆17Jun 1, 2026Updated 3 months ago
- Generate the Abstract Syntax Tree (AST) of a Bash command☆15Jan 30, 2021Updated 5 years ago
- A profanity ridden version of Brainfuck/Spacefuck☆15Jan 17, 2015Updated 11 years ago
- Bootloader exploration☆20Feb 22, 2022Updated 4 years ago
- ☆12Jun 14, 2017Updated 9 years ago
- A working quantum chessboard to demonstrate quantum phenomena!☆21Aug 11, 2022Updated 4 years ago
- Rust Inspired Type-Safe Errors and Missing Values for Python.☆20Apr 20, 2023Updated 3 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.
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 2 months ago
- ☆11Nov 25, 2020Updated 5 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 4 years ago
- Testing utilities for FreeType.☆14Mar 25, 2026Updated 6 months ago
- funky fun fuzzer☆11Jul 6, 2021Updated 5 years ago
- An IDA processor for eBPF bytecode☆51Oct 13, 2021Updated 4 years ago