GoktugEk / encrypted-shazam
Privacy preserving version of Shazam, implemented as the solution to the Bounty Program of Zama
☆28Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for encrypted-shazam
- This is an event-driven asynchronous component model developed in Python. This library can be used to design and implement component-base…☆20Updated 6 months ago
- Organizasyonun websitenin bulunduğu repo.☆51Updated 5 years ago
- ☆10Updated last year
- Senchabot Discord Bot Open-Source Repository☆12Updated last year
- ☆7Updated last year
- ☆15Updated 2 years ago
- ☆10Updated 2 years ago
- ☆7Updated 8 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Updated 6 years ago
- Periodum: An Interactive, Open-Source Periodic Table!☆391Updated last year
- HumHub - Open Source Social Network☆8Updated 9 years ago
- A modern dialect of the best programming language ever.☆10Updated 4 years ago
- An image-processing library for Haskell.☆10Updated 8 years ago
- A verified, modern, hardened memory allocator.☆14Updated 3 weeks ago
- ☆10Updated last week
- Partition refinement☆13Updated last year
- Genetic program repair using GHC☆30Updated 6 months ago
- A Language and its compiler on Ethereum Virtual Machine☆14Updated 5 years ago
- ekşi sözlük için unofficial ve private ASYNC API, giriş yapabilir; entry gönderebilirsiniz.☆18Updated 3 years ago
- Deadlock freedom by type checking☆19Updated last year
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Updated 9 months ago
- Verified C programming in Agda☆16Updated 3 years ago
- A Coq library for abstract syntactical reasoning☆23Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Lean models of Rust libraries☆10Updated 2 months ago
- A style guide for Coq☆17Updated 2 years ago
- Mystery Languages☆35Updated last year
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 9 months ago
- Spotify control tool☆12Updated 4 years ago
- Deferring the Details and Deriving Programs☆14Updated 5 years ago