A distributed network based on hash codes and lattices.
☆14Aug 16, 2016Updated 9 years ago
Alternatives and similar repositories for hashlattice
Users that are interested in hashlattice 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 theory in type theory☆16Feb 26, 2012Updated 14 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated 2 weeks ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Jan 5, 2024Updated 2 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.
- The opentheory tool processes higher order logic theory packages☆18Jun 19, 2026Updated last month
- A template literal tag that sanitizes interpolations.☆12Sep 19, 2024Updated last year
- Automatically create an importmap script.☆15Oct 19, 2024Updated last year
- Self-made scripts, which I often need every time I make a new linux installation or working with another pc☆13Nov 5, 2025Updated 8 months ago
- Assembly language support in Vim/Neovim☆14Jul 19, 2020Updated 6 years ago
- An atom package to fetch code snippets from geeksforgeeks.org☆11Sep 23, 2016Updated 9 years ago
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆16Sep 5, 2017Updated 8 years ago
- Visual Studio Code extension. Collection of tools for text manipulation, filtering, sorting etc...☆12Sep 30, 2025Updated 9 months ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Oct 2, 2024Updated last year
- Ethers extension for a multicall-based provider to batch calls.☆23Dec 3, 2024Updated last year
- A Latex template for the NIT Trichy B.Tech (And others) thesis☆11May 11, 2016Updated 10 years ago
- 🌘 Inverted display mode for better viewing ergonomics in dark lighting☆13Dec 5, 2018Updated 7 years ago
- Traditional screens based Forth for 8086 (indirect threaded, MS-DOS, 16 bit) and 68000 (direct threaded, Atari ST, 32 bit).☆15Oct 8, 2020Updated 5 years ago
- A dkms module for the BYD multitouch psmouse driver like on the Librem laptops.☆11Feb 28, 2016Updated 10 years ago
- Wasabee: a Web browser with safety focus. Project is in early development stage.☆14Jan 17, 2026Updated 6 months ago
- Send it the background color, returns black or white whichever is maximum Lc value☆13Sep 1, 2023Updated 2 years ago
- Decentralised Texas Hold'em Poker for Ethereum☆25May 24, 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.
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 9 years ago
- Custom application for a Macro keyboard bought on Amazon☆17Mar 30, 2025Updated last year
- The ungap landing page.☆16Jun 23, 2026Updated last month
- TEVO: evolve LM motifs cheaply, then validate them in downstream train.py loops.☆19Apr 18, 2026Updated 3 months ago
- Words that we do not want to appear in Sqids IDs☆20Aug 28, 2024Updated last year
- ☆17Sep 2, 2016Updated 9 years ago
- Interpreting Learned Search and Planning: Reverse-engineering recurrent convolutional networks (DRC) that play Sokoban☆21Jun 29, 2025Updated last year
- A verified compiler for a lazy functional language☆44Jun 30, 2026Updated 3 weeks ago
- Retro Texel spreadsheet application for TOS systems☆18Aug 17, 2020Updated 5 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.
- Generates .d.ts files for CSS modules with Parcel☆12Jan 7, 2023Updated 3 years ago
- Remove encryption systems used to protect Atari ST programs☆21Nov 14, 2017Updated 8 years ago
- ☆16Jun 12, 2023Updated 3 years ago
- The python codes for different optimization algorithms will be uploaded in this repository. The algorithms are both univariant and multi-…☆15Apr 12, 2024Updated 2 years ago
- 💥🖼 Twitter bot that breaks trending gifs from giphy☆16Nov 5, 2016Updated 9 years ago
- Repozitář k novinovyprogram.cz☆13Mar 3, 2023Updated 3 years ago
- scrapes memes and turn them into a video compilations☆22Mar 12, 2022Updated 4 years ago