Ailrun/DNA_Hairpin_Structure Ailrun/DNA_Hairpin_Structure

  • This repository has been archived on 25/Mar/2019
  • Stars
    star
    1
  • Language
    C++
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Ailrun/DNA_Hairpin_Structure
github

Ailrun

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

detect hairpin structure of short length DNA

More Repositories

1

core-lang-haskell

Implementation for the book <Implementing functional languages: a tutorial>
Haskell
31
star
2

typed-f

Typed functional programming utilities
TypeScript
20
star
3

magit-lfs

Git LFS for magit!
Emacs Lisp
13
star
4

rxpressive

Express meets RxJS.
JavaScript
9
star
5

pile-of-characters

Various writings
8
star
6

tsdux

Type-safe redux utilities for TypeScript.
TypeScript
7
star
7

lambda-cube

Haskell implementation of (some of) lambda cube calculi
Haskell
7
star
8

coq-commenter

Coq commenter for Emacs
Emacs Lisp
6
star
9

satyros

SATyros, small SAT/SMT sovler library for step-by-step solving
Haskell
6
star
10

LambdaDB

On-memory DB using Lambda function
Haskell
5
star
11

rxan-core

Core package for rxan
JavaScript
4
star
12

tsdux-observable

tsdux utilities for Observables
TypeScript
4
star
13

dev-api-server

Configurable API server for client development
TypeScript
3
star
14

Theorem_Proving_in_Lean

Lean
3
star
15

emacs-retrie

An Emacs package to refactor Haskell code with retrie
Emacs Lisp
2
star
16

Htaut

Haskell integrated Tautology prover
Haskell
2
star
17

LiquidHaskell-tutorial

Haskell
2
star
18

Programming_in_Haskell

Haskell
2
star
19

TRPL-study

<The Rust Programming Language> book study
Rust
2
star
20

Floor1

Experimental (and basic) proof assistant with absolutely **no** elegant features.
Haskell
2
star
21

tetris-js

Various implementation for tetris in JS
JavaScript
1
star
22

graphql-file-upload

Example for file upload API with GraphQL
JavaScript
1
star
23

npm-prologue

NPM project/package bootstrapper for Junyoung Clare Jang
TypeScript
1
star
24

APar

Arrow Parser Library of Haskell
Haskell
1
star
25

rxan-react

JavaScript
1
star
26

Elevator2way7floor

2 ways 7 floors elevator using Verilog
Verilog
1
star
27

example-graphql-server

Example server for graphql seminar
JavaScript
1
star
28

Ailrun.github.io

GitHub Pages for Ailrun
TypeScript
1
star
29

deducible

TypeScript library for logical system handling
TypeScript
1
star
30

three-potree-loader-example

Three potree loader minimal(?) example.
JavaScript
1
star
31

yet-another-emacs-settings

emacs settings for C, C++, html, node.js, ...
Emacs Lisp
1
star
32

Lambdifies

Lambdifies VM
Haskell
1
star
33

ProofPool

Agda proofs for various topics
Agda
1
star