Area 51 » Nike Dattani

3,612
reputation
1029 views
discussion user
network profile

Registered User

name Nike Dattani
member for 6 years
seen Jun 14 at 3:36
website
location
1

Proposal

Matter Modeling

For materials design and spectroscopy.
define
commit
beta

0

Current Commitments


4

Fulfilled Commitments

891
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta

Matter Modeling

For materials design and spectroscopy.
define
commit
beta
429
days

Programming Language Design and Implementation

For designers and implementers of computer programming languages
define
commit
public beta

Cardano

For users and developers of the Cardano cryptocurrency ecosystem.
define
commit
beta

1

Followed

19
followers

Typst

For users of the typesetter Typst, a markdown-based typesetting system similar to (La)TeX
define
commit
beta

810

Votes Cast

808 up

2 down