emeks-studio / sensumLinks
An anonymous way of express your sensations through a decentralized network, powered by open source code and blockchain technologies.
☆8Updated last year
Alternatives and similar repositories for sensum
Users that are interested in sensum are comparing it to the libraries listed below
Sorting:
- This repository houses five notebooks containing Mathematica Wolfram commands along with their detailed descriptions in Persian. Explore …☆14Updated 2 years ago
- This repository is for the SoilingNet Project. Soiling Net is an AI model to analyze soiling and power loss on photovoltaic panels, with …☆10Updated 10 months ago
- The Komodo programming language code repository☆11Updated 3 months ago
- RowLang is a minimalistic esoteric programming language written as an analogy to rowing.☆20Updated last year
- script for automatically changing the keyboard input language based on the specific app preferences☆15Updated 2 years ago
- Maptor (MakanNegar) Spatial Library☆12Updated this week
- A systems theorem prover☆11Updated last year
- [DEPRECATED — See notice in README.md] Network-level performance testing of post-quantum cryptography using the OQS suite☆11Updated last month
- Real time, high throughput digital holography software☆23Updated this week
- This repo provides code and data to reproduce the results in the paper for "Electron Transfer Rules of Minerals under Pressure informed b…☆10Updated 2 years ago
- Convolutional Turing Machine: studying Meta-Learning Emergence from Cellular Automata☆11Updated last year
- Formalization of Homotopy Type Theory for use in my Youtube videos☆15Updated last year
- Website for Factorio users to share blueprints☆7Updated 9 years ago
- My starred repos☆14Updated last week
- Find the most starred repositories per line of code in the language of your choice☆12Updated last year
- A heuristic algorithm for solving the generalized stable-roommate problem.☆13Updated 2 weeks ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Updated 2 years ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆13Updated last year
- Paradoxes in Set Theory and Type Theory☆11Updated 11 months ago
- Foundations of Computer Science notebooks☆16Updated 9 months ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆22Updated 4 months ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 6 months ago
- Markdown to Wolfram Notebook converter☆14Updated 3 years ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated last month
- A Simple API to WebScrape any website on SPAs☆10Updated last year
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Updated 6 years ago
- Audio encoding authentication and validation library for verifying audio as being from a trusted source☆14Updated last year
- Print all the ANSI console colors for your terminal☆11Updated 5 years ago
- An operator which calls zeek to nix-ecosystem simply.☆10Updated 2 years ago