Automated theorem prover for automatic words.
-
Updated
May 9, 2024 - Java
Automated theorem prover for automatic words.
java sequence util ,hight performance ,lock free.work with mysql,postgresql,redis,mongodb.
Um novo sabor de prevalência JAVA, com apenas uma "classe" (arquivo fonte na verdade), inspirado no Prevayler 2013 também com réplicas, grava em memória e em sistema de arquivos a construção transacional de seu modelo POJO, possibilitando que ao reiniciar seu sistema, os objetos sejam reconstruídos em memória.
Unique is a java based distributed sequence component. It provides RESTful APIs and clients(RPC, HTTP) to obtain sequences, and it supports Spring Boot, Spring Cloud and MyBatis.
基于Spring+SpringMVC+Mybatis分布式敏捷开发系统架构,提供整套公共微服务服务模块:集中权限管理(单点登录)、内容管理、支付中心、用户管理(支持第三方登录)、微信平台、存储系统、配置中心、日志分析、任务和通知等,支持服务治理、监控和追踪,努力为中小型企业打造全方位J2EE企业级开发解决方案。
Created for the course COMP352 Data Structures & Algorithms during Fall 2022.
Final project for SE211 Software Construction. This small program generates two sequences of random characters (A,C,G,T) and finds the sequence matches regradless of position. Sequence size upper limit can be editied within the program. Collaboration between Faruk Imamovic and myself.
Integrative Genomics Viewer. Fast, efficient, scalable visualization tool for genomics data and annotations
BLAST DataBase Manager
A small library example how to work with binary files with Hadoop Streaming.
Add a description, image, and links to the sequence topic page so that developers can more easily learn about it.
To associate your repository with the sequence topic, visit your repo's landing page and select "manage topics."