====== Welcome to Symbolistics! ======


We have many projects in Symbolistics:

  * **[[sym:MathOak]]**: In this project, we develop libraries and tools for practical mathematics and solve mathematical problems with &PP pen and paper, &MMA@mma, &GGB@ggb, &RKT@rkt, &HS@hs, and many other tools.
  * **[[sym:MathExi]]**: This is a project in which we research advanced and theoretical mathematics, and study disciplines like Group Theory, Graph Theory, Topology, Lambda Calculus, Calculus of Constructions, Category Theory, Type Theory, etc. The tools we mainly rely on here are &HS@hs and &AGDA. BTW: MathExi is short for **Mathematical Existence**.
  * **[[sym:Lingistus]]**: We do **Natural languages practice** this project.

Besides &PP@pp, we mention many tools above, in case you don't know them, here are the links (and icons :-)):

| [[https://www.wolfram.com/mathematica/|Mathematica]]&MMA | [[https://www.geogebra.org/|GeoGebra]]&GGB |
| [[https://www.haskell.org/|Haskell]]&HS | [[https://wiki.portal.chalmers.se/agda/pmwiki.php|Agda]]&AGDA |
| [[https://racket-lang.org/|Racket]]&RKT | [[https://clojure.org/|Clojure]]&CLJ|
| [[https://en.cppreference.com/w/|C++]]&CPP | [[https://www.rust-lang.org/|Rust]]&RS |
| [[https://www.python.org/|Python]]&PY | [[https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference|JavaScript]]&JS  |


8-) 8-) 8-) In **Symbolistics**, have **regular meetings and irregular activities** for members to solve problems, study topics, and exchange opinions. Parts of the outcome of the meetings and activities will be published on this site and open to non-members.

If you are interested in being a member, welcome to [[sym:meta:members|join us]].

====== Lougue======
  * [[sym:lougue:reading|Reading]]
  * [[sym:lougue:games|Games]]

====== Meta ======
  * [[sym:meta:members|Members]]
  * [[sym:meta:wiki-help|Wiki Help]]
  * [[sym:meta:sandbox|Sandbox]]