test
☆31Invalid DateTimeUpdated this week
Alternatives and similar repositories for test
Users that are interested in test are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Aug 18, 2025Updated 10 months ago
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python☆23Jan 1, 2021Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆61Jan 26, 2024Updated 2 years ago
- ☆15Jun 8, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Advanced futures and promises in C++.☆17May 11, 2019Updated 7 years ago
- ☆17Jan 17, 2016Updated 10 years ago
- Android App. Keeps track of diet, sleep, weight. Can show nearby hospitals(GPS required)☆13Jun 27, 2021Updated 4 years ago
- sample of react-native-easy-app library☆11Jan 7, 2023Updated 3 years ago
- savjs flux☆11Jun 4, 2020Updated 6 years ago
- This is the gcn implication in graphnet.☆15Nov 7, 2018Updated 7 years ago
- Kaitai Struct: visualizer and hex viewer tool GUI in Java☆23Aug 1, 2023Updated 2 years ago
- ☆15Feb 28, 2019Updated 7 years ago
- Saleae I2C Analyzer☆21Mar 27, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 一个WKWebView加载网页，iOS与js交互的demo☆10Jul 24, 2018Updated 7 years ago
- ☆11May 27, 2026Updated 3 weeks ago
- A WebGL2 fluid simulation tool implementing the lattice Boltzmann method (LBM) for advection-diffusion problems.☆22Mar 8, 2023Updated 3 years ago
- PJRmi is an API for performing Remote Method Invocation (RMI, aka RPC) in a Java process from a Python one.☆64May 27, 2026Updated 3 weeks ago
- Custom index bar for UITableView☆46May 13, 2014Updated 12 years ago
- Proof of concept that extends franca for components☆18Dec 16, 2019Updated 6 years ago
- A framework to ease parallelization of sequential SAT solvers☆35May 17, 2026Updated last month
- A react native library to accurately count the number of steps☆18Oct 25, 2022Updated 3 years ago
- React Native bridge module for interacting with Samsung Health☆21Mar 16, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- krazy grid world☆25Mar 2, 2020Updated 6 years ago
- React Native 项目中处理 StatusBar☆21Jan 24, 2019Updated 7 years ago
- Inheritable dynamic style tree.☆26Mar 3, 2018Updated 8 years ago
- ☆21Dec 12, 2014Updated 11 years ago
- 对MBProgressHUD的简单封装☆22Jul 16, 2018Updated 7 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Jul 25, 2024Updated last year
- Creating a simple browser with WKWebView for iOS with Swift☆24Mar 19, 2021Updated 5 years ago
- Deep Learning Hard (DL-HARD) is a new annotated dataset extending TREC Deep Learning benchmark.☆38Jan 9, 2022Updated 4 years ago
- 针对Ant Design Mobile (http://mobile.ant.design/) 的一个demo☆27Sep 22, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 实现拖动列表，列表头部的图片进行放大的效果。☆39Jan 3, 2017Updated 9 years ago
- CoreData增删改查、数据库升级☆27Mar 7, 2018Updated 8 years ago
- A react native webview optimized for a web3 dApp browser application☆35Sep 9, 2019Updated 6 years ago
- 🦸♂️ 开箱即用, 小程序模版, 基于 Taro3 + TypeScript + React, 支持分包模式、自定义tab。☆30Jan 10, 2023Updated 3 years ago
- TodoMVC with Taro + Redux☆46May 17, 2023Updated 3 years ago
- ☆35Jun 27, 2017Updated 8 years ago
- Imagination app made with react native. Takes your accelerometer and turns it into a color. This app works as a show room for imagination…☆42Sep 20, 2017Updated 8 years ago