Area 51 » Nike Dattani

3,623
reputation
1006 views
discussion user
network profile

Registered User

name Nike Dattani
member for 5 years
seen Feb 29 at 9:13
website
location
1

Proposal

Matter Modeling

For materials design and spectroscopy.
define
commit
beta

0

Current Commitments


4

Fulfilled Commitments

753
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
291
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

84
followers

Typst

For users of the state-of-the-art typesetter Typst, which is vowing to become the successor of (La)TeX.
define
commit
beta

795

Votes Cast

793 up

2 down