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.☆20Dec 20, 2021Updated 4 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- preview github README's locally☆38Mar 19, 2026Updated last week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 3 years ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Jan 5, 2024Updated 2 years ago
- Wirewright is an experimental symbolic physics environment☆15Mar 17, 2026Updated last week
- A template literal tag that sanitizes interpolations.☆12Sep 19, 2024Updated last year
- Automatically create an importmap script.☆14Oct 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 4 months ago
- Assembly language support in Vim/Neovim☆14Jul 19, 2020Updated 5 years ago
- Interpreting Learned Search and Planning: Reverse-engineering recurrent convolutional networks (DRC) that play Sokoban☆18Jun 29, 2025Updated 9 months ago
- 🌘 Inverted display mode for better viewing ergonomics in dark lighting☆13Dec 5, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An atom package to fetch code snippets from geeksforgeeks.org☆11Sep 23, 2016Updated 9 years ago
- Visual Studio Code extension. Collection of tools for text manipulation, filtering, sorting etc...☆12Sep 30, 2025Updated 5 months ago
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆15Sep 5, 2017Updated 8 years ago
- Let's have some retro gaming fun with AI! Join the discord: https://discord.gg/5xXzkMu8Zk☆71Nov 19, 2025Updated 4 months ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- ☆17Oct 2, 2024Updated last year
- Ethers extension for a multicall-based provider to batch calls.☆23Dec 3, 2024Updated last year
- Decentralised Texas Hold'em Poker for Ethereum☆20May 24, 2023Updated 2 years ago
- ☆16Apr 8, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Latex template for the NIT Trichy B.Tech (And others) thesis☆11May 11, 2016Updated 9 years ago
- A dkms module for the BYD multitouch psmouse driver like on the Librem laptops.☆11Feb 28, 2016Updated 10 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
- Custom application for a Macro keyboard bought on Amazon☆16Mar 30, 2025Updated last year
- Send it the background color, returns black or white whichever is maximum Lc value☆12Sep 1, 2023Updated 2 years ago
- Wasabee: a Web browser with safety focus. Project is in early development stage.☆13Jan 17, 2026Updated 2 months ago
- ☆30Mar 20, 2013Updated 13 years ago
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 9 years ago
- The ungap landing page.☆16Oct 30, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 💥🖼 Twitter bot that breaks trending gifs from giphy☆16Nov 5, 2016Updated 9 years ago
- Words that we do not want to appear in Sqids IDs☆20Aug 28, 2024Updated last year
- A Nodejs based sentiment analysis app☆18Jul 6, 2014Updated 11 years ago
- ☆17Sep 2, 2016Updated 9 years ago
- Generates .d.ts files for CSS modules with Parcel☆12Jan 7, 2023Updated 3 years ago
- Retro Texel spreadsheet application for TOS systems☆18Aug 17, 2020Updated 5 years ago
- The Exocortex is a remembrance agent, a generative agent designed to simulate the human brain's memory recall and consolidation processes…☆25May 25, 2025Updated 10 months ago