A distributed network based on hash codes and lattices.
☆16Aug 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:
- ☆14Feb 12, 2026Updated 8 months ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- HOL Guidebook☆12Oct 11, 2024Updated 2 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 years ago
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated 3 months 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.
- The opentheory tool processes higher order logic theory packages☆20Oct 11, 2026Updated 3 weeks ago
- Small foundation models of human cognition and behaviour☆17Oct 13, 2026Updated 3 weeks ago
- Self-made scripts, which I often need every time I make a new linux installation or working with another pc☆13Nov 5, 2025Updated last year
- The "cross-compiler" for Plua 2.0 and your classic PalmOS device.☆17May 16, 2022Updated 4 years ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- A Haskell interface to Lego Mindstorms NXT over Bluetoooth. It supports direct commands, messages and many sensors (also unofficial).☆12Dec 27, 2022Updated 3 years ago
- The goal of HighWire is to be the best web browser for Atari ST and compatible computers that works smoothly under TOS, MiNT and MagiC, s…☆17Oct 1, 2026Updated last month
- A Javascript implementation of Pytorch with WebGPU.☆14Apr 20, 2023Updated 3 years ago
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 10 years 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.
- Wasabee: a Web browser with safety focus. Project is in early development stage.☆14Jan 17, 2026Updated 9 months ago
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆16Sep 5, 2017Updated 9 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 6 years ago
- Non-custodial Nano Web Payments☆14Sep 21, 2026Updated last month
- A package for uncertainty estimation with PyTorch☆12Aug 26, 2021Updated 5 years ago
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27May 30, 2017Updated 9 years ago
- TEVO: evolve LM motifs cheaply, then validate them in downstream train.py loops.☆20Apr 18, 2026Updated 6 months ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Jul 28, 2018Updated 8 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.
- Continuation-passing style and closure conversion transforms for r6rs scheme.☆13Sep 5, 2011Updated 15 years ago
- J add-on for Apache Arrow, Parquet, CSV, & JSON☆11May 17, 2026Updated 5 months ago
- Web and document parser, converter and scraper for Plucker, the Palm OS app☆14Sep 13, 2026Updated last month
- ☆18Jun 12, 2023Updated 3 years ago
- [NeurIPS '25] Code for Paper "IF-Guide: Influence Function-Guided Suppression of Harmful Training Data for Reducing LLM Toxicity"☆15Oct 22, 2025Updated last year
- 💥🖼 Twitter bot that breaks trending gifs from giphy☆16Nov 5, 2016Updated 10 years ago
- Imageboard written in Ur/Web☆20Feb 20, 2021Updated 5 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Feb 15, 2020Updated 6 years ago
- ☆19Sep 10, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Retro Texel spreadsheet application for TOS systems☆19Aug 17, 2020Updated 6 years ago
- Application Security Vulnerability Periodic Table☆14Aug 25, 2014Updated 12 years ago
- A dataset of alignment research and code to reproduce it☆80Jun 22, 2023Updated 3 years ago
- Forth computer made in ESP32☆20Jul 17, 2025Updated last year
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated last year
- Advent of Code in APL☆20Jan 8, 2026Updated 9 months ago
- A minimal & pure Lisp-1 implementation in 22 languages.☆11Jul 24, 2013Updated 13 years ago