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 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
- A Markdown to HTML compiler written in Haskell.☆16Updated last year
- ☆15Updated last year
- Aiken's utility library☆12Updated last year
- Print all the ANSI console colors for your terminal☆11Updated 5 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- A plugin for circuit notation☆12Updated 6 months ago
- Haskell API for Paddle payments☆11Updated 2 weeks ago
- The Komodo programming language code repository☆11Updated 2 months ago
- ☆10Updated 3 months ago
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 5 months ago
- Self-Organising Map implementation in Haskell☆24Updated 2 years ago
- Awesome list of IHP links & projects. 😎☆14Updated 3 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆100Updated last month
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆22Updated 4 months ago
- Paradoxes in Set Theory and Type Theory☆11Updated 11 months ago
- Markup language on top of Haskell☆12Updated 8 months ago
- Audio encoding authentication and validation library for verifying audio as being from a trusted source☆14Updated last year
- an optimizing curry compiler☆14Updated 2 years ago
- Haskell implementation of the Unicode Collation Algorithm☆17Updated 5 months ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 10 months ago
- Backend components for mobile apps and the artist portal.☆11Updated 3 weeks ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- RowLang is a minimalistic esoteric programming language written as an analogy to rowing.☆20Updated 11 months ago
- an infinitely-unfurling encyclopedia☆12Updated last year
- Minimal reproducible nix flake templates☆17Updated this week
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆31Updated last week
- ☆11Updated 5 months ago
- srv is a tiny web server for local deployments☆9Updated 4 months ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated last year