Explore projects
-
Updated
-
Guillaume Duboc / cduce
MIT LicenseUpdated -
Updated
-
-
Updated
-
Emily Clement / Grobner Chains
GNU Affero General Public License v3.0Updated -
-
Pascal MOLIN / plasma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Documents pour le cours de programmation fonctionnelle (M2 LMFI)
Updated -
Updated
-
Giacpy is a python module interfacing with the c++ library giac through cython. So it provides in python most of the functionalites of the computer algebra system giac/xcas with a similar speed
Updated -
Updated
-
-
Raphaël Cauderlier / dk_fol_parser
CeCILL-B Free Software License AgreementA parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.
Updated -
aatem / binder-gp-xeus
MIT LicenseUpdated -
aatem / binder-template
MIT LicenseUpdated -