๐ 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VideoJoc Curs Enginyeria Software 2015โ14Jul 30, 2016Updated 10 years ago
- [CVPR'23 Highlight] Heterogeneous Continual Learning.โ15Dec 5, 2023Updated 2 years ago
- Invoke SMT solvers from Coq to check obligationsโ10Jun 16, 2020Updated 6 years ago
- slides of zju-lambdaโ14Feb 9, 2019Updated 7 years ago
- a minimal lisp interpreter written in rubyโ11Apr 15, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI โข AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ๐ A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques iโฆโ11Mar 2, 2021Updated 5 years ago
- A Symbolic Execution Tool for Cairoโ15Jul 25, 2022Updated 4 years ago
- Think Etherscan Write Contract, but on Aptosโ13May 9, 2025Updated last year
- It's a Vue stuff based on https://github.com/dekadentno/vue-cheat-sheetโ15Jun 4, 2020Updated 6 years ago
- A python script which helps to generate certificate for the attendeeโ10May 19, 2020Updated 6 years ago
- A multi-threaded, persistent key/value storeโ17Feb 9, 2021Updated 5 years ago
- My personal Onedark theme flavor, written in lua.โ18Mar 17, 2025Updated last year
- YWeb ( YLinux Web Framework ) -- The First Choice For Your Great Site.โ12Nov 24, 2015Updated 10 years ago
- A hand tracking system that lets you control your computer interface simply through gestures and speech.โ20Jun 27, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Make CLIs into GUIs in the Acme editorโ25Nov 29, 2022Updated 3 years ago
- Python3 auto-active verification library (migrated to an Intel project)โ24Apr 7, 2022Updated 4 years ago
- A Windows app that changes the wallpaper daily using images generated with AIโ24Aug 29, 2024Updated 2 years ago
- โ36Feb 27, 2023Updated 3 years ago
- ๅฐ็จๅบโโๆฒชๆฑ้ฎ็ญโ19Jul 31, 2017Updated 9 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
- A demo project that replicates a Spring Batch tutorial using Apache Camel within a Spring Boot appโ14Apr 21, 2019Updated 7 years ago
- Easily install PyPy in a virtualenv without touching CPython.โ40Feb 14, 2013Updated 13 years ago
- Add a partial Coeffect system into Javaโ19Dec 19, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [WIP] BREAD operate system based on X86_64โ50Feb 11, 2021Updated 5 years ago
- This project is to fetch data from the official Silverlight application of Ministry of Environmental Protection of China (http://106.37.2โฆโ40Jul 28, 2020Updated 6 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hackerโ54Jul 17, 2024Updated 2 years ago
- Practice typing and learn IDE shortcuts while AI assistants are thinking - a Chrome extension for ChatGPT and Geminiโ23Feb 8, 2026Updated 8 months ago
- ODBC driver for Elasticsearch SQLโ18Oct 23, 2026Updated last week
- A boilerplate to quickly start a Vue project using Vuetify, Vue-i18n, Vuex, Vue-routerโ14Jun 23, 2023Updated 3 years ago
- Official implementation for "Nested Attention: Semantic-aware Attention Values for Concept Personalization" [SIGGRAPH 2025]โ26Aug 4, 2025Updated last year
- Gradle plugin to precisely shadow either a dependency or its transitivesโ26Updated this week
- The source code for Input-Adaptive Spectral Feature Compression by Sequence Modeling for Source Separation published in IEEE TASLPRO.โ20Jun 3, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Solr Datasource for Grafanaโ22Aug 24, 2023Updated 3 years ago
- IntelliJ plugin for Manifoldโ24Oct 23, 2026Updated last week
- raytracer project for PPCA 2020โ63Nov 20, 2021Updated 4 years ago
- Allowing engineers to work efficientlyโ35Aug 1, 2026Updated 2 months ago
- Insprired on flask-restless and sqlalchemy api wrapping for tornadoโ41Aug 13, 2015Updated 11 years ago
- http://feather.im ็ๆบไปฃ็ ใโ55Nov 2, 2012Updated 13 years ago
- Sandbox for PoCs, SOs etc; Spring-Integration, -AMQP, -Cloud-*, Reactorโ26Apr 13, 2026Updated 6 months ago