jessica-taylor / hashlatticeView external linksLinks
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
Sorting:
- Type theory in type theory☆16Feb 26, 2012Updated 13 years ago
- Interpreting Learned Search and Planning: Reverse-engineering recurrent convolutional networks (DRC) that play Sokoban☆17Jun 29, 2025Updated 7 months ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆20Dec 20, 2021Updated 4 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Jul 28, 2018Updated 7 years ago
- Калькулятор на python / kivy☆12Oct 1, 2021Updated 4 years ago
- Code examples from the book, Jupyter Notebook 101 by Michael Driscoll☆11Oct 17, 2021Updated 4 years ago
- A public repository for publishing XER Tools☆17Nov 9, 2025Updated 3 months ago
- Use the Edge Diagnostics CLI to identify, analyze, and troubleshoot common content delivery network issues that your users may encounter.☆14Oct 12, 2022Updated 3 years ago
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 6 months ago
- Simple program that hide/show the icons of Windows desktop.☆11Sep 29, 2023Updated 2 years ago
- Utility to run separate X with discrete nvidia graphics with full performance adapted to work on Debian 9. in a Lenovo Yoga☆11Dec 20, 2018Updated 7 years ago
- Creating popout windows for Blender☆10Jul 28, 2023Updated 2 years ago
- ☆12Jul 15, 2016Updated 9 years ago
- Open-source Human Feedback Library☆11Oct 25, 2023Updated 2 years ago
- Learn how to scrape web content from HTML and see how web scraping differs to web crawling☆11Aug 14, 2020Updated 5 years ago
- Building Business Solutions with PowerApps and the Power Platform☆11Jan 30, 2020Updated 6 years ago
- ifcParser in Grasshopper and NotePad++ Express Style☆10Jun 28, 2017Updated 8 years ago
- A Python program, running as an independent process, that provides a 'proxy like' service for experiment runtimes ( psychopy ) and device…☆19May 8, 2013Updated 12 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- Vue component to easy select time intervals. Available at npm. 2018☆16Mar 1, 2019Updated 6 years ago
- Set of python scripts to interact with the Dynatrace APIs and export security related in different formats.☆10Jan 14, 2026Updated last month
- ☆14Oct 27, 2025Updated 3 months ago
- ☆13Feb 8, 2024Updated 2 years ago
- An educational game. It won the 3rd place in the Kivy App Contest 2014.☆16Nov 19, 2024Updated last year
- A collection of architectural objects for the FreeCAD-library, mostly converted from 3D content available on other websites such as bimob…☆15Jul 23, 2019Updated 6 years ago
- Guide to creating GitHub Issues and Pull Requests for OSS Contribution☆12Updated this week
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- make a tunnel with two port.☆12Jan 28, 2019Updated 7 years ago
- Space Crusade - Loopeex☆12Jan 22, 2019Updated 7 years ago
- In this workshop you will learn how to build and deploy your own AI Models☆12Jul 7, 2021Updated 4 years ago
- Vue.js wrapper over canvas manipulation library fabric.js — **Note: not quite ready for prime time**☆11Nov 27, 2016Updated 9 years ago
- ☆13Jan 12, 2021Updated 5 years ago
- Cuckoo Sandbox is an automated dynamic malware analysis system☆10Sep 11, 2020Updated 5 years ago
- Did someone say types?☆13Sep 5, 2016Updated 9 years ago
- Automatically create an importmap script.☆14Oct 19, 2024Updated last year
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- A small somewhat risk-like game. It is based upon a physics simulation describing an elastic graph.☆11Apr 13, 2021Updated 4 years ago
- ☆15May 4, 2020Updated 5 years ago
- ☆13Dec 3, 2022Updated 3 years ago