Area 51 » Nike Dattani

3,612
reputation
1020 views
discussion user
network profile

Registered User

name Nike Dattani
member for 5 years
seen yesterday
website
location
1

Proposal

Matter Modeling

For materials design and spectroscopy.
define
commit
beta

0

Current Commitments


4

Fulfilled Commitments

795
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
333
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

5
followers

Typst

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

808

Votes Cast

806 up

2 down