Area 51 » Nike Dattani

3,612
reputation
1023 views
discussion user
network profile

Registered User

name Nike Dattani
member for 5 years
seen 2 days ago
website
location
1

Proposal

Matter Modeling

For materials design and spectroscopy.
define
commit
beta

0

Current Commitments


4

Fulfilled Commitments

800
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
338
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

9
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