A distributed network based on hash codes and lattices.
☆15Aug 16, 2016Updated 10 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 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆12Jan 5, 2024Updated 2 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.
- The opentheory tool processes higher order logic theory packages☆19Jun 19, 2026Updated 3 months ago
- A template literal tag that sanitizes interpolations.☆12Sep 19, 2024Updated 2 years ago
- 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 10 months ago
- Assembly language support in Vim/Neovim☆15Jul 19, 2020Updated 6 years ago
- An atom package to fetch code snippets from geeksforgeeks.org☆11Sep 23, 2016Updated 10 years ago
- Visual Studio Code extension. Collection of tools for text manipulation, filtering, sorting etc...☆13Sep 14, 2026Updated last week
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆16Sep 5, 2017Updated 9 years ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 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.
- ☆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☆14Dec 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).☆16Oct 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
- Send it the background color, returns black or white whichever is maximum Lc value☆13Sep 1, 2023Updated 3 years ago
- Decentralised Texas Hold'em Poker for Ethereum☆26May 24, 2023Updated 3 years ago
- Wasabee: a Web browser with safety focus. Project is in early development stage.☆14Jan 17, 2026Updated 8 months 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.
- 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 3 months ago
- TEVO: evolve LM motifs cheaply, then validate them in downstream train.py loops.☆20Apr 18, 2026Updated 5 months ago
- ☆17Sep 2, 2016Updated 10 years ago
- Words that we do not want to appear in Sqids IDs☆20Aug 28, 2024Updated 2 years ago
- Interpreting Learned Search and Planning: Reverse-engineering recurrent convolutional networks (DRC) that play Sokoban☆22Jun 29, 2025Updated last year
- A verified compiler for a lazy functional language☆44Jun 30, 2026Updated 2 months ago
- Retro Texel spreadsheet application for TOS systems☆19Aug 17, 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.
- Generates .d.ts files for CSS modules with Parcel☆12Jan 7, 2023Updated 3 years ago
- Remove encryption systems used to protect Atari ST programs☆22Nov 14, 2017Updated 8 years ago
- ☆17Jun 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