alacrity

KO | EN

gitlite — search

#javascript #hacktoberfest #react #go #android #machine-learning #deep-learning #awesome #kubernetes #vue #awesome-list #pytorch #security #ios

(★ 32)

DSL for Secure DApps

alacrity 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Alacrity

Alacrity is a domain-specific language for trustworthy decentralized
applications. We use a cascading style of verification to
help establish trust by users, by allowing an application's
trusted code base to be very small,
while enabling the application to be deployed in a wide variety of contexts.
We will verify guarantees about program execution, compilation, correctness,
security, and efficiency. It uses a suite of verification methods,
like type theory, theorem proving, model checking, the strand spaces
method, and dynamical system simulation.

### Copyright and License

### Being worked on

You can watch on our [github repository](https://github.com/AlacrisIO/alacrity)
what we are currently working on.

As of June 2019, see notably the [compiler we are writing in Haskell](hs/alacrity/)
and the [Rock, Papers, Scissors demo](examples/rps-auto) we are using as a benchmark application.

### Tips for Developers

If you're using Emacs:
```
(add-to-list 'auto-mode-alist '("\\.mjs$" . javascript-mode))
(add-to-list 'auto-mode-alist '("\\.ala$" . javascript-mode))
```

alacrity

alacrity 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

alacrity

alacrity 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README