What Programming Language would you use in your studies?

• mathlib

  36 1,625 8.8 Lean

  Lean 3's obsolete mathematical components library: please use mathlib4

  

There's also Lean for proof assistance.

• three.js

  449 98,752 9.9 JavaScript

  JavaScript 3D Library.

Add THREE.js for topology/geometry visualizations and Sage for symbolic computation

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Pluto.jl

  78 4,868 9.4 JavaScript

  🎈 Simple reactive notebooks for Julia

Totally agree. I would add that Pluto.jl is an excellent platform for studying, prototyping and exploring concepts in general.

• lean4

  53 3,714 9.9 Lean

  Lean 4 programming language and theorem prover

  

Making that better is an open problem in the proof assistant community. It is being actively worked on. The main project I know of that's working on this in the context of pure math is Project Xena, which focuses on the Lean proof assistant/programming language. You might find that project interesting and useful. I think it is likely that this situation will improve over the next few years, but probably not sooner than that.

• book

  626 14,211 6.9 Rust

  The Rust Programming Language

  

As a Rust book, I would just use the Rust book, https://doc.rust-lang.org/book/. But of course in most cases using Rust is a total overkill (not in my area though).

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project