optician / Telegram-SilencerView external linksLinks
Your kind censor of telegram chats
☆12Jul 29, 2018Updated 7 years ago
Alternatives and similar repositories for Telegram-Silencer
Users that are interested in Telegram-Silencer are comparing it to the libraries listed below
Sorting:
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- scala things☆69Nov 8, 2024Updated last year
- Experiments with sequent calculi☆28Mar 28, 2021Updated 4 years ago
- Comparison between different patterns☆27Sep 29, 2017Updated 8 years ago
- new version of weather station. one based on stm32☆13Nov 5, 2023Updated 2 years ago
- A native binding generator for the Scala language.☆35Jul 17, 2017Updated 8 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- Typelevel http service definition DSL☆151Aug 19, 2024Updated last year
- Pagination for TelegramBot CallbackQuery☆11Apr 14, 2021Updated 4 years ago
- ☆10Feb 5, 2026Updated last week
- Incremental sbt builds for CI environments.☆10Sep 2, 2025Updated 5 months ago
- Profunctor optics and lenses library for Scala☆11Feb 3, 2026Updated last week
- ☆11Jan 8, 2021Updated 5 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)☆18Aug 20, 2013Updated 12 years ago
- A zero-dependency Scala framework☆10Nov 4, 2025Updated 3 months ago
- BigInteger for scala with very fast modPow☆10Updated this week
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Calendar component for Cycle.js☆10Jan 18, 2016Updated 10 years ago
- Convert Point cloud data to Cloud Optimized GeoTIFF using AWS Lambda☆15Apr 27, 2020Updated 5 years ago
- How to deploy docker stack with swarm mode☆11Feb 27, 2017Updated 8 years ago
- This library enables to use ZooKeeper as cluster coordinator in a ConstructR based cluster☆12Dec 2, 2017Updated 8 years ago
- ☆30Nov 1, 2021Updated 4 years ago
- RoboKassa plugin for PHP merchant library☆10Aug 25, 2022Updated 3 years ago
- ☆12Jul 28, 2024Updated last year
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- MySQL - MySQL extendable replicator☆15Aug 6, 2021Updated 4 years ago
- ☆12Jul 28, 2017Updated 8 years ago
- Utility to automate downloads of torrent series☆12Jan 27, 2026Updated 2 weeks ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- An administration tool for GeoTrellis-Spark clusters.☆10Oct 7, 2016Updated 9 years ago
- minimal composable type abstraction☆12Feb 1, 2017Updated 9 years ago
- Docker container for a jupyter notebook with a GeoTrellis environment.☆11Aug 15, 2017Updated 8 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- Toolset to work with dom.gosuslugi.ru API☆11May 21, 2024Updated last year
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- An event-driven image processing pipeline for developing our foundational capability to work with HSI data sources.☆16May 23, 2023Updated 2 years ago
- Haskell library for working with TypeScript Definition files☆18Nov 27, 2017Updated 8 years ago