Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code
☆15Oct 14, 2025Updated 5 months ago
Alternatives and similar repositories for texmacs
Users that are interested in texmacs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Have Zotero interact with TeXmacs☆23Feb 12, 2026Updated last month
- Perlin noise toys☆17Jun 10, 2013Updated 12 years ago
- Structured access to bytevector contents.☆39Aug 20, 2024Updated last year
- Port of OpenVPN to the android platform.☆32Mar 10, 2015Updated 11 years ago
- Nexus S 3.x kernel source☆10Feb 1, 2012Updated 14 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Dec 7, 2016Updated 9 years ago
- 2D/3D noise DSL for generating voxel worlds.☆16Jul 22, 2015Updated 10 years ago
- ☆22Aug 24, 2016Updated 9 years ago
- Make simple HTTP requests with Racket☆24Jun 13, 2020Updated 5 years ago
- Android Voice Dialer☆30Apr 30, 2015Updated 10 years ago
- Android MediaProvider☆26Dec 25, 2016Updated 9 years ago
- CM7 2.6.35 Kernel for Samsung Galaxy S series Phones. Binary downloads at the URL under thatline ;-)☆11May 12, 2011Updated 14 years ago
- HD2/Leo vendor for Cyanogenmod☆19Oct 7, 2014Updated 11 years ago
- Android build for HTC Passion (Nexus One)☆25Oct 7, 2014Updated 11 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Device repository for HTC Buzz (Wildfire)☆20Oct 7, 2014Updated 11 years ago
- IPTables for Android☆25Oct 26, 2016Updated 9 years ago
- ☆12Aug 26, 2011Updated 14 years ago
- ☆18Oct 7, 2014Updated 11 years ago
- Linux kernel 2.6.32 for Android on MSM7227 (Espresso, Legend, Liberty)☆25Oct 7, 2014Updated 11 years ago
- libjpeg for Android from Qualcomm☆28Nov 24, 2016Updated 9 years ago
- An algorithm for parsing any planning problem in PDDL format☆14Sep 16, 2016Updated 9 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 7 years ago
- ☆66Oct 30, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- steps to setup a github repository with fpm, and github actions including ford(1) documentation and unit tests☆11Jul 11, 2025Updated 8 months ago
- Common API (C++ and Python) for Fast Fourier Transform HPC libraries (publish-only mirror)☆11Dec 3, 2025Updated 3 months ago
- Linux kernel sources from Samsung drops. voodoo branch contains Voodoo additions Look at REAMDE.txt for compilation guide☆41Jul 8, 2011Updated 14 years ago
- Data partitioning toolbox for tomographic reconstruction☆14Nov 3, 2019Updated 6 years ago
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 4 years ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated 2 months ago
- MSM7k HAL☆68Mar 10, 2015Updated 11 years ago
- Compilation of libraries and applications made easy☆10Feb 25, 2026Updated last month
- GNU Emacs configuration for Emacs 30 and above☆16Jan 26, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Causal Variant Evidence Mapping with Non-parametric resampling☆12Dec 16, 2020Updated 5 years ago
- XML/HTML diff generator, based on Nokogiri.☆55Sep 7, 2021Updated 4 years ago
- Mirror of the GNU TeXmacs SVN☆649Mar 19, 2026Updated last week
- A thread safe simple C++ wrapper for FFTW & MKL☆17Sep 27, 2021Updated 4 years ago
- mpd client library implementation in OCaml.☆16Jun 23, 2023Updated 2 years ago
- This package is an example of how to organize and compile a cython package☆10Oct 18, 2022Updated 3 years ago
- Extra apps for Android☆54Nov 22, 2016Updated 9 years ago