🌍 Landing page for Poketto
☆17Nov 4, 2024Updated last year
Alternatives and similar repositories for poketto-website
Users that are interested in poketto-website are comparing it to the libraries listed below
Sorting:
- VideoJoc Curs Enginyeria Software 2015☆14Jul 30, 2016Updated 9 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- ☆13Aug 14, 2025Updated 7 months ago
- 打打 bot☆13Updated this week
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago
- Programmable assets on Bitcoin and beyond☆25Updated this week
- ☆15Jun 5, 2017Updated 8 years ago
- Hollywood-js is a Framework for building very modular and high scalable server side applications following CQRS (Command Query Responsibi…☆25Mar 6, 2026Updated last week
- Example code to accompany my blog post on debugging async operations in Node.js.☆26Mar 26, 2022Updated 3 years ago
- Full Binance DEX Android library (SDK), implemented on Kotlin.☆20Nov 27, 2023Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Apr 7, 2022Updated 3 years ago
- ☆28May 16, 2025Updated 10 months ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Aug 1, 2022Updated 3 years ago
- Event sourcing toolkit☆36Aug 26, 2021Updated 4 years ago
- 🚌SQRS is a JavaScript library for implementing CQRS pattern.☆32Jul 8, 2025Updated 8 months ago
- Cache and invalidate records in Redis with tags☆54Sep 11, 2018Updated 7 years ago
- ☆30Nov 11, 2023Updated 2 years ago
- Perform facts checks on your conversations with LLMs to catch fake-news, misleading information, and LLMs confusion.☆12Apr 22, 2023Updated 2 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆43Apr 14, 2021Updated 4 years ago
- CUPCase: Clinically Uncommon Patient Cases and Diagnoses Dataset☆14Oct 12, 2025Updated 5 months ago
- Template for cloud-native applications and microservices running as containers/functions on Kubernetes, Docker Compose, or cloud. You can…☆41Mar 9, 2026Updated last week
- A JS thin wrapper around the Direct Route API☆36Jan 30, 2023Updated 3 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆23Updated this week
- A place to store my code for leetcode☆24Aug 9, 2020Updated 5 years ago
- OpenZeppelin Contracts written in Cairo for StarkNet, a decentralized ZK Rollup☆33Jun 25, 2022Updated 3 years ago
- A demo project that replicates a Spring Batch tutorial using Apache Camel within a Spring Boot app☆14Apr 21, 2019Updated 6 years ago
- Apache Pulsar binder for Spring Cloud Stream☆13May 31, 2022Updated 3 years ago
- Python API for stats.nba.com☆11May 24, 2021Updated 4 years ago
- ☆38Aug 11, 2023Updated 2 years ago
- Molten is an opinionated library providing reactive tooling to simplify building production-ready integration solutions using Reactor.☆14Mar 5, 2024Updated 2 years ago
- 物体检测 object-detection 用于检测红灯笼demo☆24Apr 6, 2017Updated 8 years ago
- Solr benchmarking and load testing harness☆16Jan 7, 2025Updated last year
- New version of Mt Pelerin DeFi middleware☆52Nov 13, 2023Updated 2 years ago
- ☆19Jul 12, 2023Updated 2 years ago
- Tool to copy Gradle caches to Android local "m2repository" directory, and saving download time☆14Sep 3, 2023Updated 2 years ago
- 《区块链系统实现》开源书籍及源代码仓库。The code and book about learning blockchain by code☆47Dec 27, 2025Updated 2 months ago
- Gradle plugin supporting nested extension objects☆17Jan 5, 2017Updated 9 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆50Aug 24, 2020Updated 5 years ago
- A Java & Kotlin library adapting slf4j for reactive applications☆17Aug 12, 2024Updated last year