giniA fast SAT solver
Stars: ✭ 139 (+189.58%)
verifSoftware for verifying weather forecasts
Stars: ✭ 70 (+45.83%)
SyReNNSyReNN: Symbolic Representations for Neural Networks
Stars: ✭ 35 (-27.08%)
node-identif🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)
Stars: ✭ 27 (-43.75%)
user-registration-codeigniterPHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.
Stars: ✭ 61 (+27.08%)
flutter pull to reach demoA new way to access controls in your flutter app that are normally hard to reach with your thumb
Stars: ✭ 23 (-52.08%)
flutter-netease深度还原网易严选webApp,Flutter项目,接口为真实数据。项目已完善
Stars: ✭ 231 (+381.25%)
yoti-php-sdkThe PHP SDK for interacting with the Yoti Platform
Stars: ✭ 22 (-54.17%)
docker-mkcertDocker container for creating valid local ssl certificates
Stars: ✭ 87 (+81.25%)
libvataVATA Tree Automata Library
Stars: ✭ 23 (-52.08%)
go-journalVerified, concurrent, crash-safe transaction system
Stars: ✭ 28 (-41.67%)
Motion-Tab-BarA beautiful animated flutter widget package library. The tab bar will attempt to use your current theme out of the box, however you may want to theme it.
Stars: ✭ 237 (+393.75%)
fastapi-cloudauthSimple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).
Stars: ✭ 221 (+360.42%)
node-email-verifierThe best possible way to verify and validate an email address.
Stars: ✭ 38 (-20.83%)
BloodMS🔥 🔥 🔥 A blood management project. 🔥 🔥 🔥
Stars: ✭ 48 (+0%)
DPOTPViewCustomisable OTP view and Passcode view
Stars: ✭ 52 (+8.33%)
DevQuizDev.Quiz 👨💻 | Rocketseat 💜 - NLW 05 👩🚀
Stars: ✭ 25 (-47.92%)
in3-legacy[Deprecated] Typescript-version of the IN3 client.
Stars: ✭ 69 (+43.75%)
hagelslagHagelslag is an object-based severe storm hazard forecasting system.
Stars: ✭ 58 (+20.83%)
E-commerceA Flutter E-commerce by implementing the Carousel and other flutter components
Stars: ✭ 36 (-25%)
flutter-tipsMy collection of Flutter development tips
Stars: ✭ 36 (-25%)
stuffCrud operation with Firebase
Stars: ✭ 80 (+66.67%)
qcertCompilation and Verification of Data-Centric Languages
Stars: ✭ 50 (+4.17%)
gleam一个简单、轻量、可靠的Flutter UI 组件库
Stars: ✭ 24 (-50%)
netdiceA scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
Stars: ✭ 28 (-41.67%)
FlutterMarvelHeroesLibraryThe simple concept for Marvel universe fans made in Flutter. Everything about favourite characters in one app.
Stars: ✭ 18 (-62.5%)
rijksbook🖼 A basic Flutter app built for educational purposes
Stars: ✭ 37 (-22.92%)
flutter pokedexPokedex app built with Flutter (with lots of animations) using Clean Architecture
Stars: ✭ 1,603 (+3239.58%)
proofable-imageBuild trust into your image by creating a blockchain certificate for it
Stars: ✭ 17 (-64.58%)
IDVerification"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.
Stars: ✭ 44 (-8.33%)
async fifoA dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Stars: ✭ 117 (+143.75%)
flutter todosA cross platform todo list app using flutter, sqlite etc. If you read the code, you will understand how to create simple elegant mobile app using Flutter and Dart language.
Stars: ✭ 60 (+25%)
boxgameA sample project for following along a tutorial found on jap.alekhin.io.
Stars: ✭ 32 (-33.33%)
vericertA formally verified high-level synthesis tool based on CompCert and written in Coq.
Stars: ✭ 63 (+31.25%)
lms-verifygenerative programming & verification
Stars: ✭ 29 (-39.58%)
muntaFully verified model checker for realtime systems
Stars: ✭ 14 (-70.83%)
naacl2018-feverFact Extraction and VERification baseline published in NAACL2018
Stars: ✭ 109 (+127.08%)
calmlyCalmly is made with flutter to practice meditation to bring headspace and calmness. 😍💆🏼♂️
Stars: ✭ 34 (-29.17%)
hydrotoolsSuite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.
Stars: ✭ 36 (-25%)
Chi FoodFood Delivery App made by Flutter and Bloc
Stars: ✭ 103 (+114.58%)
serval-sosp19This repo contains the artifact for our SOSP'19 paper on Serval
Stars: ✭ 26 (-45.83%)
walWAL enables programmable waveform analysis.
Stars: ✭ 36 (-25%)
car rental liteA platform for car sharing where users can book any car that suits their needs and wants for their intended journey, from the closest hosts in the community.
Stars: ✭ 28 (-41.67%)
MathematicsIn this application, we can perform some actions like subtraction, addition, multiplication, and division. And by selecting any of these, you will receive a PDF with the answer key to your MCQ or question!
Stars: ✭ 45 (-6.25%)
LoginAndRegistrationWithSocialMediaCreated a Project to design login screen, registration screen, login with google ,slider navigation drawer,dashboard screen login with Facebook using Flutter
Stars: ✭ 82 (+70.83%)
swipedetectorA Flutter package to detect up, down, left, right swipes.
Stars: ✭ 34 (-29.17%)
moveHome of the Move programming language
Stars: ✭ 125 (+160.42%)
FlutterNoteEasy to learn Flutter(Flutter 即学即用,Flutter 速成必备)
Stars: ✭ 22 (-54.17%)
vigorMain repository of the Vigor NF verification project.
Stars: ✭ 40 (-16.67%)