Alternatives and similar repositories for mathlibre:

Users that are interested in mathlibre are comparing it to the libraries listed below

• hpdang / opentechsummit.cn
  Website for OpenTechSummit China http://opentechsummit.cn
  ☆396Updated 5 years ago
• Orbiter / academic-www
  Documentation site for Academic
  ☆395Updated 5 years ago
• norbusan / susi_installer
  SUSI installer for RPi and linux desktop
  ☆409Updated 5 years ago
• norbusan / susi_python
  Restructuring of susi_python_wrapper
  ☆411Updated 5 years ago
• hpdang / susi_skill_data
  A storage place for susi skills
  ☆391Updated 7 years ago
• hpdang / zally
  A minimalistic, simple-to-use API linter
  ☆391Updated 6 years ago
• hpdang / loklak_server
  Distributed message search server to anonymously collect, share, dump and index tweet search results.
  ☆403Updated 8 years ago
• Orbiter / deepspeech_testdata
  A collection of tools and data to test the deepspeech_server
  ☆393Updated last year
• norbusan / tlptexlive-root
  packaging stuff for tlptexlive
  ☆408Updated 9 years ago
• hpdang / unesco.sciencehack.asia
  UNESCO Hackathon Website https://unesco.sciencehack.asia
  ☆390Updated 6 years ago
• hpdang / stackset-controller
  Opinionated StackSet resource for managing application life cycle in Kubernetes
  ☆392Updated 6 years ago
• norbusan / susi_server
  SUSI.AI server backend - the Artificial Intelligence server for personal assistants https://api.susi.ai
  ☆408Updated 5 years ago
• hpdang / tech-radar
  Visualizing our technology choices
  ☆393Updated 6 years ago
• norbusan / sony-control-center
  Fork of the sony-f11-vaio-control-center to work with newer kernels and with all Sony laptops supported by the sony-laptop kernel module.
  ☆409Updated 9 years ago
• norbusan / psutils
  Utilities for manipulating PostScript documents
  ☆410Updated 6 years ago
• norbusan / plex-home-theater-public
  Plex Home Theater public repository
  ☆412Updated 9 years ago
• norbusan / sony-laptop-zseries
  adapted kernel module for zseries laptops
  ☆409Updated 9 years ago
• hpdang / fosdemvideobox
  fosdem video gear box
  ☆404Updated 9 years ago
• norbusan / plex-media-player
  Next generation Plex Desktop/Embedded Client
  ☆410Updated last year
• hpdang / engelsystem
  Shift planning system for events.
  ☆402Updated 8 years ago
• norbusan / susi_linux
  Hardware for SUSI AI https://susi.ai
  ☆410Updated 4 years ago
• norbusan / debian-gwaei
  ☆419Updated 3 years ago
• norbusan / seeed-voicecard
  2 Mic Hat, 4 Mic Array, 6-Mic Circular Array Kit, and 4-Mic Linear Array Kit for Raspberry Pi
  ☆410Updated 5 years ago
• norbusan / rfkill-applet
  general rfkill applet for the gnome panel written in python
  ☆409Updated 9 years ago
• norbusan / homebrew-core
  🍻 Default formulae for the missing package manager for macOS
  ☆416Updated 2 months ago
• hpdang / translation_sample
  ☆393Updated 8 years ago
• norbusan / lwn2pocket
  Push LWN.net Weekly Edition to Pocket
  ☆415Updated 9 years ago
• norbusan / eagloss
  multi script chinese glossary
  ☆418Updated 8 years ago
• norbusan / debian-speg
  ☆418Updated 4 years ago